DocumentCode
3613703
Title
An approach to compositional model checking
Author
H.A. Andrade;B. Sanders
fYear
2002
fDate
6/24/1905 12:00:00 AM
Keywords
"Logic","Costs","Information science","Specification languages","Reliability engineering","Maintenance","Operating systems","Protocols","Process control","Web server"
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM
Print_ISBN
0-7695-1573-8
Type
conf
DOI
10.1109/IPDPS.2002.1016616
Filename
1016616
Link To Document