BibTeX Entry

Back to list

@incollection{AbJo:parameterized,
  author	= {Abdulla, Parosh Aziz and Jonsson, Bengt},
  editor	= {Olderog and Steffen},
  title		= {On the Existence of Network Invariants for Verifying Parameterized Systems},
  booktitle	= {Correct System Design -- Recent Insights and Advances},
  series	= {Lecture Notes in Computer Science},
  volume	= {1710},
  publisher	= {Springer Verlag},
  pages		= {180--197},
  year		= {1999},
  URL		= {files/langmaack.ps}
}