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

Bibliographic Details

Other Authors:	Brinksma, Ed (Editor)
Format:	Book
Language:	English
Published:	Berlin : Springer-Verlag, 1995
Series:	Lecture notes in computer science ; 1019
ISBN:	3-540-60630-0
Subjects:	informační systémy matematické programování algoritmizace verifikace programu
Tags:	Add Tag No Tags, Be the first to tag this record!