On liveness analysis through linear algebraic techniques
| Title | On liveness analysis through linear algebraic techniques |
| Publication Type | Book Chapter |
| Year of Publication | 1990 |
| Authors | Colom, JM, Campos J, Silva M |
| Book Title | Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990 |
| City | Paris, France |
| URL | http://webdiis.unizar.es/CRPetri/papers/jcampos/90_CCS_DEMON_corrected.pdf |
| Export |
