2001
Doctoral Thesis
Title

Model checking for abstract state machines

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