Cited in
(12)- Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets
- Bounded LTL model checking with stable models
- scientific article; zbMATH DE number 1744959 (Why is no real title available?)
- scientific article; zbMATH DE number 2043473 (Why is no real title available?)
- Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
- Applications and Theory of Petri Nets 2004
- Maria
- Helena
- caesar.bdd
- NUPN_INFO
- scientific article; zbMATH DE number 1670552 (Why is no real title available?)
- scientific article; zbMATH DE number 2087801 (Why is no real title available?)
This page was built for software: PROD
