Tools and Algorithms for the Construction and Analysis of Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor)
Place of Publication	University of Twente, Enschede
Pages	-
Number of pages	431
Publication status	Published - 2 Apr 1997

Keywords

@inproceedings{f87f47c872ca4102882c26b46ec6f72c,

title = "Tools and Algorithms for the Construction and Analysis of Systems",

keywords = "METIS-120061",

author = "Hendrik Brinksma",

year = "1997",

month = apr,

day = "2",

language = "Undefined",

isbn = "3-54--62790-1",

pages = "--",

booktitle = "TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor)",

}