21 search results - page 5 / 5 » fse 2003 |
137
click to vote
FOIKS
2004
Springer
15 years 8 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...