2001
Doctoral Thesis
Title

Model checking for abstract state machines

Thesis Note
Berlin, TU, Diss., 2001
Author(s)
Winter, Kirsten
Publishing Place
Berlin
DOI
Language
English
FIRST