> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Automata, Languages, and Programming: Towards a Unified Theory of Operational and Axiomatic Semantics Beteiligte: Roşu, Grigore; Ştefănescu, Andrei Erschienen: Springer Berlin Heidelberg, 2012 Erschienen in: Automata, Languages, and Programming (2012), Seite 351-363 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-642-31585-5_33 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: