A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-009-0119-6
Full Text
Open PDFAbstract
Available in full text
Date
July 15, 2009
Authors
Publisher
Springer Science and Business Media LLC