000 02374cam a2200589ui 4500
005 20150623165358.0
006 m d
007 cr cnu
008 140416s2013 gw o 101 0 eng d
020 _a9783642402289 (print)
020 _a3642402283 (print)
020 _a3642402291 (electronic bk.)
020 _a9783642402296 (electronic bk.)
024 7 _a10.1007/978-3-642-40229-6
_2doi
040 _aCaNSHNOV
_beng
_erda
060 _bFF
072 7 _aUYF
_2bicssc
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
072 7 _aCOM036000
_2bisacsh
082 0 4 _a003 .3
_223
084 _a003 .3
_bFF
111 2 _aFORMATS (Conference)
_n(11th :,
_d2013 :,
_cBuenos Aires, Argentina).
245 1 0 _aFormal modeling and analysis of timed systems
_h[[Book] :]
_b11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
_cVíctor Braberman, Laurent Fribourg (eds.).
246 3 _aFORMATS 2013.
260 _aHeidelberg :
_bSpringer .,
_c2013.
264 1 _aBerlin :
_bSpringer,
_c2013.
300 _a1 online resource (x, 275 pages) :
_billustrations. ;
_c24 cm.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8053
490 1 _aLNCS sublibrary. SL 1, Theoretical computer science and general issues
500 _aInternational conference proceedings.
500 _aIncludes author index.
504 _aIncludes author index.
650 0 _aComputer simulation
_vCongresses.
650 0 _aTemporal automata
_vCongresses.
650 0 _aFormal methods (Computer science)
_vCongresses.
650 0 _aSystem analysis
_vCongresses.
650 2 _aComputer Simulation
_vCongresses.
650 2 _aSystems Analysis
_vCongresses.
655 4 _aElectronic books.
700 1 _aFribourg, Laurent,
_d1957-,
_eeditor of compilation.
700 1 _aBraberman, Víctor,
_eeditor of compilation.
830 0 _aLecture notes in computer science ;
_v8053.
830 0 _aLNCS sublibrary.
_nSL 1,
_pTheoretical computer science and general issues.
856 4 0 _uhttp://ezproxy.library.dal.ca/login?url=http://dx.doi.org/10.1007/978-3-642-40229-6
_yCheck for Full Text
_zAccess restricted: DAL users only
001 0000116428
003 0000
942 _cBK
999 _c22018
_d22018