Guarded transitions in evolving specifications
Dusko Pavlovic and Douglas R. Smith
Details
| 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 |
Links
Related pages
|
People |