> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A Modal Logic for Full LOTOS based on Symbolic Transition Systems Beteiligte: Calder, M. Erschienen: Oxford University Press (OUP), 2002 Erschienen in: The Computer Journal Sprache: Englisch DOI: 10.1093/comjnl/45.1.55 ISSN: 0010-4620; 1460-2067 Schlagwörter: General Computer Science Entstehung: Anmerkungen: