Sciweavers

10304 search results - page 219 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
SPIN
2001
Springer
15 years 6 months ago
Directed Explicit Model Checking with HSF-SPIN
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...
78
Voted
STACS
2001
Springer
15 years 6 months ago
2-Nested Simulation Is Not Finitely Equationally Axiomatizable
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
WG
2001
Springer
15 years 6 months ago
Planarity of the 2-Level Cactus Model
Sabine Cornelsen, Yefim Dinitz, Dorothea Wagner