On the Importance of the Deadlock Trap Property for Monotonic Liveness
| Title | On the Importance of the Deadlock Trap Property for Monotonic Liveness |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Heiner, M, Mahulea C, Silva M |
| Conference Name | Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010 |
| Date Published | 06/2010 |
| Conference Location | Braga, Portugal |
| ISBN Number | 978-972-8692-53-7 |
| URL | http://www-dssz.informatik.tu-cottbus.de/publications/BioPPN_2010/BioPPN_braga_2010_proceedings.pdf |
| Export |
