Alkuperäiskieli | Englanti |
---|---|
Kustantaja | Springer |
ISBN (elektroninen) | 978-3-642-38612-1 |
ISBN (painettu) | 978-3-642-38612-1 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2013 |
OKM-julkaisutyyppi | C2 Toimitettu teos |
Tapahtuma | Integrated Formal Methods - ICT house, Turku, Finland Kesto: 10 kesäk. 2013 → 14 kesäk. 2013 Konferenssinumero: 10 |
Julkaisusarja
Nimi | Lecture Notes in Computer Science |
---|---|
Kustantaja | Springer |
Vuosikerta | 7940 |