| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:151589799:1457 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:151589799:1457?format=raw |
LEADER: 01457cam a22003497a 4500
001 2010932429
003 DLC
005 20111223092428.0
008 100713s2010 gw a b 101 0 eng d
010 $a 2010932429
020 $a9783642152962 (pbk.)
020 $a3642152961 (pbk.)
035 $a(OCoLC)ocn662409319
040 $aBTCTA$cBTCTA$dOHX$dAZS$dDLC
042 $alccopycat
050 00 $aQA76.9.C65$bF676 2010
082 00 $a004.01/51$223
111 2 $aFORMATS 2010$d(2010 :$cKlosterneuburg, Austria)
245 10 $aFormal modeling and analysis of timed systems :$b8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings /$cKrishnendu Chatterjee, Thomas A. Henzinger (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c2010.
300 $ax, 255 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v6246
490 1 $aLNCS sublibrary: SL 1-theoretical computer science and general issues
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aComputer simulation$vCongresses.
650 0 $aTemporal automata$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aChatterjee, Krishnendu.
700 1 $aHenzinger, T. A.$q(Thomas A.)
830 0 $aLecture notes in computer science ;$v6246.
830 0 $aLNCS sublibrary.$nSL 1$pTheoretical computer science and general issues.