Sciweavers

16206 search results - page 219 / 3242
» Software Engineering is Not Enough
Sort
View
FOSSACS
2000
Springer
15 years 9 months ago
Hierarchical Graph Transformation
Frank Drewes, Berthold Hoffmann, Detlef Plump
FSTTCS
2000
Springer
15 years 9 months ago
Frequency Assignment in Mobile Phone Systems
Martin Grötschel
ICFEM
2000
Springer
15 years 9 months ago
Maximally Abstract Retrenchments
Richard Banach
ICFEM
2000
Springer
15 years 9 months ago
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
Hong Peng, Sofiène Tahar, Ferhat Khendek