Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
Algebraic Specification of Concurrent Systems

Book Chapter

Author:E. Astesiano, M. Broy, G. Reggio
In Book:Algebraic Foundations of Systems Specifications
Pages:467 - 520
Publisher:Springer
Year:1999
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact