P-Semiflow Computation with Decision Diagrams
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Improving static variable orders via invariants
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Formal Methods in System Design
A concurrency-preserving translation from time Petri nets to networks of timed automata
Formal Methods in System Design
Hi-index | 0.00 |