| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Marc Spielmann 5 Marc Spielmann: Model Checking Abstract State Machines and Beyond. Abstract State Machines 2000 : 323-340 4 Marc Spielmann: Verification of Relational Transducers for Electronic Commerce. PODS 2000 : 92-103 3 Marc Spielmann: Automatic Verification of Abstract State Machines. CAV 1999 : 431-442 2 Erich Grädel , Marc Spielmann: Logspace Reducibility via Abstract State Machines. World Congress on Formal Methods (2) 1999 : 1738-1757 1 Yuri Gurevich , Marc Spielmann: Recursive Abstract State Machines. Journal of Universal Computer Science 3 (4): 233-246 (1997) DiSC'01 Copyright ©2002 ACM Inc. |
