RAPIDO'13

View Statistics Email Alert RSS Feed

Description

Event name
RAPIDO'13
 
Start date
21-01-2013
Location
Berlin
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Lezuo, Roland ; Krall, Andreas Using the CASM language for simulator synthesis and model verificationKonferenzbeitrag Inproceedings2013