> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Lecture Notes in Computer Science: Abstract Certification of Global Non-interference in Rewriting Logic Beteiligte: Alba-Castro, Mauricio; Alpuente, María; Escobar, Santiago Erschienen: Springer Berlin Heidelberg, 2010 Erschienen in: Lecture Notes in Computer Science (2010), Seite 105-124 Sprache: Ohne Angabe DOI: 10.1007/978-3-642-17071-3_6 ISBN: 9783642170706; 9783642170713 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: