swMATH3154MaRDI QIDQ15686FDOQ15686
Author name not available (Why is that?)
Official website: http://www.tcs.hut.fi/Software/prod/
Cited In (12)
- Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets
- Bounded LTL model checking with stable models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
- Applications and Theory of Petri Nets 2004
- Maria
- Helena
- caesar.bdd
- NUPN_INFO
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: PROD
