Modular verification of Petri Nets: the temporal logic approach

Authors:
W. Damm;G. Döhmen;V. Gerstner;B. Josko
Affiliations:
-;-;-;-
Venue:
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Year:
1990

An automata-theoretic approach to modular model checking

ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

IEEE Transactions on Software Engineering
Branching vs. Linear Time: Final Showdown

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Modular Model Checking

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Hi-index	0.00