PROD
From MaRDI portal
Cited in
(12)- Maria
- Helena
- scientific article; zbMATH DE number 1670552 (Why is no real title available?)
- 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?)
- scientific article; zbMATH DE number 1744959 (Why is no real title available?)
- 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
