Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency
Authors:
Michael Schenke
Affiliations:
-
Venue:
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems