| Record ID | marc_loc_2016/BooksAll.2016.part33.utf8:89124972:1252 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part33.utf8:89124972:1252?format=raw |
LEADER: 01252cam a22003134a 4500
001 2005937088
003 DLC
005 20060717131336.0
008 051110s2005 gw a b 101 0 eng
010 $a 2005937088
020 $a9783540309468 (soft cover : alk. paper)
020 $a3540309462 (soft cover : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.C65$bF676 2005
082 00 $a003/.3$222
111 2 $aFORMATS 2005$d(2005 :$cUppsala, Sweden)
245 10 $aFormal modeling and analysis of timed systems :$bthird international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings /$cPaul Pettersson, Wang Yi (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2005.
300 $aix, 303 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3829
504 $aIncludes bibliographical references and index.
650 0 $aComputer simulation$vCongresses.
650 0 $aTemporal automata$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aAutomata$vCongresses.
700 1 $aPettersson, Paul.
700 1 $aYi, Wang.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005937088-d.html