Guarded transitions in evolving specifications
Dusko Pavlovic and Douglas R. Smith infobook 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 |
links
BibTeX
Link (ps)
related pages
|
