Conference
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.
Authors
Gruer P; Hilaire V; Koukam A
Editors
Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
1783
Pagination
pp. 222-236
Publisher
Springer
Publication Date
January 1, 2000
ISBN-10
3-540-67261-3
Conference proceedings
FASE