Tools and Algorithms for the Construction and Analysis of Systems 2015

Event name
Tools and Algorithms for the Construction and Analysis of Systems 2015
 
Event type
Event for scientific audience
 
Start date
13-04-2015
End date
17-04-2015
 
Location
London
Country
United Kingdom
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Blom, Stefan ; van Dijk, Tom ; Gijis, Kant ; Laarman, Alfons ; Meijer, Jeroen ; van de Pol, Jaco LTSmin: High-Performance Language-Independent Model CheckingKonferenzbeitrag Inproceedings 2015