Generation of counterexamples for the μ-calculus [my-calculus]

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
34 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.

Erschienen in
Interner Bericht / Universität Karlsruhe (TH) ; 95,37

Ereignis
Veröffentlichung
(wo)
Karlsruhe
(wer)
Univ., Fak. für Informatik
(wann)
[1995]
Urheber
Kick, Alexander

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:07 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Kick, Alexander
  • Univ., Fak. für Informatik

Entstanden

  • [1995]

Ähnliche Objekte (12)