Search Sciweavers | Sciweavers

512 search results - page 8 / 103

» Automata as Abstractions

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

15 years 8 months ago

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »

click to vote

CAV
2003
Springer

120views Hardware» more CAV 2003»

15 years 8 months ago

Bernard Boigelot, Frédéric Herbretea...

claim paper

Read More »

click to vote

RAID
2009
Springer

111views Computer Networks» more RAID 2009»

15 years 8 months ago

Grégoire Jacob, Hervé Debar, Eric Fi...

claim paper

Read More »

113

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

15 years 7 months ago

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

15 years 7 months ago

Sciweavers