PROD
From MaRDI portal
Cited in
(12)- Maria
- Helena
- Testing Spin's LTL formula conversion into Büchi automata with randomly generated input
- NUPN_INFO
- caesar.bdd
- Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
- scientific article; zbMATH DE number 2043473 (Why is no real title available?)
- Implementing LTL model checking with net unfoldings
- scientific article; zbMATH DE number 2087801 (Why is no real title available?)
- Bounded LTL model checking with stable models
- Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets
- Applications and Theory of Petri Nets 2004
This page was built for software: PROD
