LEADER 03514nam  22007215  450 
001 996418310103316
005 20230329133411.0
010   $a3-030-48077-1
024 7 $a10.1007/978-3-030-48077-6
035   $a(CKB)4100000011254406
035   $a(MiAaPQ)EBC6207630
035   $a(DE-He213)978-3-030-48077-6
035   $a(PPN)248394665
035   $a(EXLCZ)994100000011254406
100   $a20200514d2020      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRigorous State-Based Methods$b[electronic resource] $e7th International Conference, ABZ 2020, Ulm, Germany, May 27?29, 2020, Proceedings /$fedited by Alexander Raschke, Dominique Méry, Frank Houdek
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (xii, 428 pages) $cillustrations
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12071
311   $a3-030-48076-3 
320   $aIncludes bibliographical references and index.
327   $aKeynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress).
330   $aThis book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12071
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer engineering
606   $aComputer networks
606   $aSoftware engineering
606   $aMicroprogramming
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aComputer Engineering and Networks
606   $aSoftware Engineering
606   $aControl Structures and Microprogramming
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aMicroprogramming.
615 14$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aComputer Engineering and Networks.
615 24$aSoftware Engineering.
615 24$aControl Structures and Microprogramming.
676   $a006.31
702   $aRaschke$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMéry$b Dominique$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHoudek$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418310103316
996   $aRigorous State-Based Methods$92273643
997   $aUNISA