Publications

Export 2 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is C. Belta  [Clear All Filters]
2008
[IPKLMA08] Kloetzer, M, Mahulea C, Belta C, Recalde L, Silva M.  2008.  Formal analysis of timed continuous Petri net.
2010
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.