Krzysztof M. Sacha
-
Safety Verification of Software Using Structured Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security