A Uniform Constraint-based Framework for the Verification of Infinite State 
Systems

Mukhopadhyay, Supratik

doi:10.22028/D291-25864

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Thesis

A Uniform Constraint-based Framework for the Verification of Infinite State Systems

MPS-Authors

/persons/resource/persons45084

Mukhopadhyay, Supratik
Programming Logics, MPI for Informatics, Max Planck Society;
International Max Planck Research School, MPI for Informatics, Max Planck Society;

External Resource

http://scidok.sulb.uni-saarland.de/volltexte/2007/1181/
(Any fulltext)

http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de
(Copyright transfer agreement)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Mukhopadhyay, S. (2001). A Uniform Constraint-based Framework for the Verification of Infinite State Systems. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-25864.

Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-3116-9

Abstract

There is no abstract available