3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08)

Event name
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08)
 
Start date
13-10-2008
End date
15-10-2008
 
Location
Griechenland
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Filter:
Author:  Mittermayr, Robert

Results 1-1 of 1 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mittermayr, Robert ; Blieberger, Johann Static Partial-Order Reduction of Concurrent Systems in Polynomial TimeKonferenzbeitrag Inproceedings 2008