%0 Book Section
%B 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
%D 1990
%T On liveness analysis through linear algebraic techniques
%A J.M. Colom
%A J. Campos
%A M. Silva
%C Paris, France
%U http://webdiis.unizar.es/CRPetri/papers/jcampos/90_CCS_DEMON_corrected.pdf
%8 06/19990