Partial Updates Exploration II
Yuri Gurevich and Nikolai Tillmann
2003
In Abstract State Machines
Publisher Springer Verlag
All copyrights reserved by Springer 2007.
Details
| Type | Inproceedings |
| Pages | 57-86 |
| Volume | 2589 |
| Series | Lecture Notes in Computer Science |
Related Projects
Related People
Related Labs
Share
