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 Groups
Related Labs
Related Research Areas
©2009 Microsoft Corporation. All rights reserved.