Volume 18,
Number 1,
March 2008
- Xi-Ren Cao:
Editorial.
1
Electronic Edition (link) BibTeX
- Anne Bouillard, Eric Thierry:
An Algorithmic Toolbox for Network Calculus.
3-49
Electronic Edition (link) BibTeX
- Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Compositionally Progressive Solutions of Synchronous FSM Equations.
51-89
Electronic Edition (link) BibTeX
- Olivier Marchetti, Alix Munier Kordon:
Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness.
91-109
Electronic Edition (link) BibTeX
- Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
Analyzing Security Protocols Using Time-Bounded Task-PIOAs.
111-159
Electronic Edition (link) BibTeX
Copyright © Wed Jul 23 16:26:09 2008
by Michael Ley (ley@uni-trier.de)
