> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A rewriting logic approach to operational semantics Beteiligte: Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José Erschienen: Elsevier BV, 2009 Erschienen in: Information and Computation Sprache: Englisch DOI: 10.1016/j.ic.2008.03.026 ISSN: 0890-5401 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang