3613703

An approach to compositional model checking

H.A. Andrade;B. Sanders

2002

6/24/1905 12:00:00 AM

"Logic","Costs","Information science","Specification languages","Reliability engineering","Maintenance","Operating systems","Protocols","Process control","Web server"

ieee

Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM

0-7695-1573-8

conf

10.1109/IPDPS.2002.1016616

1016616