Projects per year
Original language | English |
---|---|
Title of host publication | Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings |
Editors | Krishnendu Chatterjee, Jirí Sgall |
Volume | 8087 |
Publisher | Springer Publishing Company |
Publication date | 2013 |
Pages | 74-85 |
ISBN (Print) | 978-3-642-40312-5 |
ISBN (Electronic) | 978-3-642-40313-2 |
DOIs | |
Publication status | Published - 2013 |
Event | 38th International Symposium on Mathematical Foundations of Computer Science - IST Austria, Klosterneuburg, Austria Duration: 26 Aug 2013 → 30 Aug 2013 Conference number: 38th |
Conference
Conference | 38th International Symposium on Mathematical Foundations of Computer Science |
---|---|
Number | 38th |
Location | IST Austria |
Country/Territory | Austria |
City | Klosterneuburg |
Period | 26/08/2013 → 30/08/2013 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 8087 |
ISSN | 0302-9743 |
Projects
- 2 Finished
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.
01/04/2011 → 30/04/2015
Project: Research
-
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.
01/10/2008 → 01/10/2013
Project: Research