h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Automatic verification of sequential infinite state processes



VerantwortlichkeitsangabeOlaf Burkart

ImpressumBerlin [u.a.] : Springer 1997

UmfangX, 163 S. : graph. Darst.

ISBN3-540-63982-9, 978-3-540-63982-4, 978-3-540-69678-0

ReiheLecture notes in computer science ; 1354


Zugl.: Aachen, Techn. Hochsch., Diss., 1995


Genehmigende Fakultät
Fak05

Hauptberichter/Gutachter


Online
URL: https://doi.org/10.1007/3-540-69678-4

Einrichtungen

  1. Fachgruppe Informatik (120000)
  2. Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme) (121920)

External link:
Download fulltext
Additional information

Dokumenttyp
Dissertation / PhD Thesis/Book

Format
online, print

Sprache
English

Externe Identnummern
HBZ: HT008061457

Interne Identnummern
RWTH-CONV-119844
Datensatz-ID: 57855

Beteiligte Länder
Germany

 GO

QR Code for this record

The record appears in these collections:
Document types > Theses > Ph.D. Theses
Document types > Books > Books
Faculty of Computer Science (Fac.9)
Public records
Publications database
120000
121920
 Record created 2013-01-28, last modified 2026-06-18
Similar records


Internal catalog entry:
Download fulltext PDF
External link:
Download fulltextAdditional information
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)