Formal Modeling and Analysis of Timed Systems [E-Book]: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković.
Jurdziński, Marcin.
Ničković, Dejan.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642333651
10.1007/978-3-642-33365-1
Lecture notes in computer science ; 7595
Full Text
LEADER 01256nam a22003255i 4500
001 978-3-642-33365-1
003 Springer
008 120831s2012 gw | s |||| 0|eng d
020 |a 9783642333651 
024 7 |a 10.1007/978-3-642-33365-1  |2 doi 
035 |a (Sirsi) a300235 
041 |a eng 
082 0 4 |a 005.1015113  |2 23 
245 1 0 |a Formal Modeling and Analysis of Timed Systems  |h [E-Book]:  |b 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /  |c edited by Marcin Jurdziński, Dejan Ničković. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012   |e  (Springer LINK) 
300 |b digital. 
490 |a Lecture notes in computer science ;  |v 7595 
500 |a englisch 
596 |a 1 
650 0 |a Computer science. 
650 0 |a Computer software. 
650 0 |a Logic design. 
650 0 |a Software engineering. 
700 1 |a Jurdziński, Marcin. 
700 1 |a Ničković, Dejan. 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33365-1  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
932 |a Computer Science (Springer-11645) 
949 |a XX(300235.1)  |w AUTO  |c 1  |i 300235-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 29/10/2012  |x UNKNOWN  |z UNKNOWN  |1 ONLINE  |2 KONFERENZ