Petri Nets, Traces, and Local Model Checking (1995)

Cached

Download Links

by Allan Cheng
Venue:Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, Lecture Notes in Computer Science 936, SpringerVerlag
Citations:5 - 0 self