Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationÅrhus
PublisherDepartment of Computer Science, Aarhus University
Publication statusPublished - 1995
SeriesB R I C S Notes Series
NumberNS-95-2
ISSN0909-3206

Cite this

Engberg, U. H., Larsen, K. G., & Skou, A. (1995). Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Department of Computer Science, Aarhus University. B R I C S Notes Series No. NS-95-2