Sciweavers

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