Proceedings of INFINITY '98

Document type:: Technical Report
Author(s):: Javier Esparza (ed.)
Title:: Proceedings of INFINITY '98
Abstract:: INFINITY '98 took place in Aalborg on July 18 as a satellite workshop to ICALP '98. The program consisted of three invited talks by Bengt Jonsson, Philippe Schnoebelen and Bernhard Steffen, and five regular contributions. The proceedings contain these five contributions plus a paper corresponding to Schnoebelen's talk.
Keywords:: Infinite state spaces; verification; model-checking
Year:: 1998
Year / month:: 1998-07-01 00:00:00
Pages:: 78
BibTeX

Occurrences: