Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

E. Brinksma (Redacteur), W.R. Cleaveland (Redacteur), K.G. Larsen (Redacteur), T. Margaria (Redacteur), B. Steffen (Redacteur)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Originele taal-2Engels
Plaats van productieBerlin
UitgeverijSpringer
Aantal pagina's289
ISBN van geprinte versie3-540-60630-0
DOI's
StatusGepubliceerd - 1995

Publicatie series

NaamLecture notes in computer science
Volume1019
ISSN van geprinte versie0302-9743
NaamTACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings
Volume1

Citeer dit