Structured Solution of Asynchronously Communicating Stochastic Modules
IEEE Transactions on Software Engineering
Net Reductions for LTL Model-Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
GSPN Semantics for Queueing Networks with Blocking
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Hi-index | 0.00 |