Tools and Algorithms for the Construction and Analysis of Systems electronic resource : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / edited by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan