| Record ID | marc_loc_updates/v36.i42.records.utf8:12933955:1829 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i42.records.utf8:12933955:1829?format=raw |
LEADER: 01829cam a22004217a 4500
001 2006932409
003 DLC
005 20081016124141.0
008 060808s2006 gw a b 101 0 eng d
010 $a 2006932409
016 7 $a980913101$2GyFmDB
020 $a3540450262 (pbk.)
020 $a9783540450269 (pbk.)
035 $a(OCoLC)ocm71814282
040 $aOHX$cOHX$dBAKER$dCUS$dIXA$dBTCTA$dLVB$dYDXCP$dC$Q$dDLC
042 $alccopycat
050 00 $aQA76.9.C65$bF676 2006
072 7 $aQA$2lcco
082 00 $a004.01/51$222
111 2 $aFORMATS 2006$d(2006 :$cParis, France)
245 10 $aFormal modeling and analysis of timed systems :$b4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings /$cEugene Asarin, Patricia Bouyer (eds.).
246 30 $aFORMATS 2006
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $axi, 367 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v4202
440 0 $aLNCS sublibrary.$nSL 1,$pTheoretical 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.
650 6 $aAutomates mathématiques, Théorie des$vCongrès.
650 6 $aAutomates temporels$vCongrès.
650 6 $aMéthodes formelles (Informatique)$vCongrès.
700 1 $aAsarin, E. A.$q(Evgeniĭ Aleksandrovich)
700 1 $aBouyer, Patricia,$d1976-
856 41 $uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4202$zRestricted to SpringerLink subscribers
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006932409-d.html