Publications

Export 2 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is C. Belta  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
[IPKLMA08] Kloetzer, M, Mahulea C, Belta C, Recalde L, Silva M.  2008.  Formal analysis of timed continuous Petri net.
A
[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.