Grundbegriffe für eine Logik über Ereignisse und Normen : ein semantischer Ansatz auf der Basis von Petrinetzen /
Saved in:
Author / Creator: | Linz, Reinhard. |
---|---|
Imprint: | München : R. Oldenbourg, 1992. |
Description: | ix, 275 p. : ill. ; 23 cm. |
Language: | German |
Series: | Berichte der Gesellschaft für Mathematik und Datenverarbeitung 0533-9480 ; Nr. 200 |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5718592 |
ISBN: | 3486222279 |
---|---|
Notes: | Originally presented as the author's thesis (Universitat Bonn, 1991). Includes bibliographical references (p. 165-272) and index. |
Similar Items
-
Zur Semantik graphbasierter Modellierungsmethoden /
by: Strack, Veronika
Published: (1990) -
Analisis y control de sistemas de eventos discretos : de redes de Petri temporizadas al algebra /
by: Cohen, Guy
Published: (2001) -
Über die Darstellung von CCS-Programmen durch Petrinetze /
by: Goltz, Ursula
Published: (1988) -
Anwendungen der Netztheorie zur formalen Systemspezifikation /
by: Thieler-Mevissen, Gerda
Published: (1987) -
Deontic logic : introductory and systematic readings /
by: Hilpinen, Risto
Published: (1971)