Sciweavers

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