| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:301334644:1359 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:301334644:1359?format=raw |
LEADER: 01359cam a2200349Ia 4500
001 011358276-5
005 20090113203017.0
008 070928s2007 gw a b 101 0 eng d
016 7 $a985542136$2GyFmDB
020 $a9783540754534 (pbk.)
020 $a3540754539 (pbk.)
035 0 $aocn173602740
040 $aOHX$cOHX$dC$Q$dBAKER$dBTCTA$dYDXCP
050 00 $aQA76.9.C65$bF676 2007
072 7 $aQA$2lcco
090 $aQA76.9.C65$b.F66 2007
111 2 $aFORMATS 2007$d(2007 :$cSalzburg, Austria)
245 10 $aFormal modeling and analysis of timed systems :$b5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings /$cJean-Francois Raskin, P.S. Thiagarajan (eds.).
246 30 $aFORMATS 2007
260 $aBerlin ;$aNew York :$bSpringer,$c2007.
300 $ax, 368 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v4763
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.
700 1 $aThiagarajan, P. S.
700 1 $aRaskin, Jean-François,$d1972-
988 $a20080109
906 $0OCLC