@inbook {271,
	title = {On liveness analysis through linear algebraic techniques},
	booktitle = {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},
	year = {1990},
	month = {06/19990},
	address = {Paris, France},
	url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/90_CCS_DEMON_corrected.pdf},
	author = {J.M. Colom and J. Campos and M. Silva}
}

