Jump to Navigation

Verifying distributed systems with model checking and static analysis

TitleVerifying distributed systems with model checking and static analysis
Publication TypeConference Paper
Year of Publication2000
AuthorsGallardo, M-del-M., and P. Merino
Conference NameTen-Hwang Lai (ed.). Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan.
Date Publishedoct


Main menu 2

Biblio | by Dr. Radut