Guarded transitions in evolving specifications
Dusko Pavlovic and Douglas R. Smith
Book Title
Proceedings of AMAST 2002
Editor
H. Kirchner and C. Ringeissen
Pages
411–425
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
2422
Year
2002