An Automated Framework for Formal Verification of Timed Continuous Petri Nets
| Title | An Automated Framework for Formal Verification of Timed Continuous Petri Nets |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Kloetzer, M, Mahulea C, Belta C, Silva M |
| Journal | IEEE Transactions on Industrial Informatics |
| Volume | 6 |
| Issue | 3 |
| Start Page | 460 |
| Pagination | 471 |
| Date Published | 08/2010 |
| URL | http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5473124 |
| Export |
