> Detailanzeige

Lomuscio, Alessio R.

Model Checking Systems against Epistemic Specifications : Invited Presentation at the 1st International Workshop on Strategic Reasoning

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel
  • Titel: Model Checking Systems against Epistemic Specifications : Invited Presentation at the 1st International Workshop on Strategic Reasoning : Invited Presentation at the 1st International Workshop on Strategic Reasoning
  • Beteiligte: Lomuscio, Alessio R.
  • Erschienen: Open Publishing Association, 2013
  • Erschienen in: Electronic Proceedings in Theoretical Computer Science
  • Sprache: Englisch
  • DOI: 10.4204/eptcs.112.2
  • ISSN: 2075-2180
  • Schlagwörter: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang