Conferences in DBLP

School on Formal Methods for the Design of Computer, Communication and Software Systems (sfm)
2004 (conf/sfm/2004)

1. Rajeev Alur, P. Madhusudan
   Decision Problems for Timed Automata: A Survey. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:1-24 [Conf]
   
2. Elmar Bihler, Walter Vogler
   Timed Petri Nets: Efficiency of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:25-58 [Conf]
   
3. Jos C. M. Baeten, Michel A. Reniers
   Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:59-97 [Conf]
   
4. Diletta Cacciagrano, Flavio Corradini
   Expressiveness of Timed Events and Timed Languages. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:98-131 [Conf]
   
5. Mario Bravetti
   Real Time and Stochastic Time. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:132-180 [Conf]
   
6. Bran Selic
   On the Semantic Foundations of Standard UML 2.0. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:181-199 [Conf]
   
7. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
   A Tutorial on Uppaal. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:200-236 [Conf]
   
8. Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
   The IF Toolset. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:237-267 [Conf]
   
9. Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
   Embedded Software Analysis with MOTOR. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:268-294 [Conf]