HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Conrol

Event name
HSCC'14, the 17th International Conference on Hybrid Systems: Computation and Conrol
 
Start date
15-04-2014
End date
17-04-2014
 
Location
Berlin
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Grosu, Radu ; Islam, Ariful ; Murthy, Abhishek ; Girard, Antoine ; Smolka, Scott A. Compositionality Results for Cardiac Cell DynamicsKonferenzbeitrag Inproceedings2014