Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Equivalence Theorem for Labeled Marked Graphs
IEEE Transactions on Parallel and Distributed Systems
Formal method for self-timed design
EURO-DAC '91 Proceedings of the conference on European design automation
Transactions on Petri Nets and Other Models of Concurrency I
Applying step coverability trees to communicating component-based systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Step coverability algorithms for communicating systems
Science of Computer Programming
Hi-index | 0.00 |