Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig

Tom Bienmüller

Reducing complexity for the verification of STATEMATE designs : Dissertation

Oldenburg: Univ., Fak. II, Dep. für Informatik, 2003

Title

Reducing complexity for the verification of STATEMATE designs : Dissertation / Tom Bienmüller

Involved 

Tom Bienmüller (Verfasser)

Published

Oldenburg: Univ., Fak. II, Dep. für Informatik
2003

Extent

309 S. : graph. Darst.

Thesis

Zugl.: Oldenburg, Univ., Diss., 2003

Language

Englisch

Topic

Informatik

Series

Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften / Carl-von-Ossietzky-Universität Oldenburg ; Nr. [20]03,6

Record ID

969461402
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal