Universitätsbibliothek

Publikationsserver

Um den vollen Funktionsumfang dieser Webseite zu erfahren, benötigen Sie JavaScript. Hier finden Sie die Anleitung wie Sie JavaScript in Ihrem Browser einschalten .

auf die Merkliste

Buch 2007 Alle Rechte vorbehalten

Veröffentlicht

Knowledge and strategic ability for model checking: a refined approach

Jamroga, Wojciech

Vorschau

Einordnung

In Serie:: Ifi technical report series
(2007)
Datum der Erstellung:: 2007
Datum der Veröffentlichung:: 2007
PPN:: 558921043
URN:: urn:nbn:de:gbv:104-ifi-07-093
Sprache:: Englisch
Ressourcentyp:: Text
Umfang:: 21 S
Erscheinungsort:: Clausthal-Zellerfeld
Verlag:: Institut für Informatik
DDC-Sachgruppe der DNB:: 004 Informatik
Link URL:: https://dokumente.ub.tu-clausthal.de/receive/import_mods_00000465

Zitieren

Zitierform:

Jamroga, Wojciech: Knowledge and strategic ability for model checking: a refined approach. Clausthal-Zellerfeld 2007. Institut für Informatik.

urn:nbn:de:gbv:104-ifi-07-093
Zitier-Link kopieren

Zugriffsstatistik

Gesamt:

Volltextzugriffe:

Metadatenansicht:

12 Monate:

Volltextzugriffe:

Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

BibTeX, MODS, MARCXML, RIS, ISI, PICA, CSV, DC