000 01374nom a2200349 u 4500
001 10093708
003 upatras
005 20210117203010.0
008 110802s2010 eng
020 _a9783642158988
040 _aGR-PaULI
_cGR-PaULI
041 0 _aeng
100 1 _aKowalewski, Stefan
_9100106
245 1 0 _aFormal Methods for Industrial Critical Systems
_h[electronic resource]
_b15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
_cedited by Stefan Kowalewski, Marco Roveri
260 _aBerlin, Heidelberg
_bSpringer Berlin Heidelberg
_c2010
300 _bv.: digital
490 0 _aLecture Notes in Computer Science
_v6371
_x0302-9743
650 4 _aComputer science
_913995
650 4 _aSoftware engineering
_922316
650 4 _aLogic design
_964563
650 4 _aComputer Science
_964565
650 4 _aSoftware Engineering
_964566
650 4 _aLogics and Meanings of Programs
_964567
650 4 _aProgramming Languages, Compilers, Interpreters
_964661
650 4 _aSpecial Purpose and Application-Based Systems
_966909
700 1 _aRoveri, Marco
_9100107
710 2 _aSpringerLink (Online service)
_968735
760 1 _aLecture notes in computer science
_g6371
_x0302-9743
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-15898-8
942 _2ddc
999 _c69408
_d69408