| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Marc Spielmann 7 Marc Spielmann, Jerzy Tyszkiewicz , Jan Van den Bussche : Distributed Computation of Web Queries Using Automata. PODS 2002 : 97-108 6 Brigitte Séroussi , Jacques Bouaud , Éric-Charles Antoine , Laurent Zelek , Marc Spielmann: Using ONCODOC as a Computer-Based Eligibility Screening System to Improve Accrual onto Breast Cancer Clinical Trials. AIME 2001 : 421-430 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 1999 : 1738-1757 1 Yuri Gurevich , Marc Spielmann: Recursive Abstract State Machines. Journal of Universal Computer Science 3 (4): 233-246 (1997)  DiSC'03 © 2003 Association for Computing Machinery |
