Hochschulschrift

Verification of modal properties using Boolean equation systems

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783929470581
3929470586
Dimensions
21 cm
Extent
172 S.
Language
Englisch
Notes
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1997

Bibliographic citation
Edition Versal ; Bd. 8

Keyword
Programmverifikation
Modallogik
Logikkalkül
Boolesche Gleichung

Event
Veröffentlichung
(where)
Berlin
(who)
Bertz
(when)
1997
Creator
Mader, Angelika

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:41 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

  • Mader, Angelika
  • Bertz

Time of origin

  • 1997

Other Objects (12)

Kultserien und ihre Stars, Bd. 3.. Das Pflichtprogramm

Kultserien und ihre Stars, Bd. 3.. Das Pflichtprogramm

Kultserien und ihre Stars, [Bd. 1]. / Nebst einer "Vorbemerkung eines Serienhelden" von Harry Rowohlt

Kultserien und ihre Stars, [Bd. 1]. / Nebst einer "Vorbemerkung eines Serienhelden" von Harry Rowohlt

Kultserien und ihre Stars, [Bd. 1]

Kultserien und ihre Stars, [Bd. 1]

Kultserien und ihre Stars, Bd. 2.. Fortsetzung folgt ...

Kultserien und ihre Stars, Bd. 2.. Fortsetzung folgt ...

Event detection in active databases

Hochschulschrift

Event detection in active databases

Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition

Hochschulschrift

Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition

Julia Roberts

Buch

Julia Roberts

Natalie Portman

Buch

Natalie Portman

Angelina Jolie

Buch

Angelina Jolie

Drew Barrymore

Buch

Drew Barrymore

Cameron Diaz

Buch

Cameron Diaz

Angelina Jolie

Buch

Angelina Jolie

Related objects