On Stubborn Sets in the Verification of Linear Time Temporal Properties
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
Modelling and analysing the SDL description of the ISDN-DSS1 protocol
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Modular state spaces for prioritised Petri Nets
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Under-approximation of Reachability in Multivalued Asynchronous Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |