On liveness analysis through linear algebraic techniques

TitleOn liveness analysis through linear algebraic techniques
Publication TypeBook Chapter
Year of Publication1990
AuthorsColom, JM, Campos J, Silva M
Book TitleProceedings 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
CityParis, France
URLhttp://webdiis.unizar.es/CRPetri/papers/jcampos/90_CCS_DEMON_corrected.pdf
Export