Further processing options

Lecture Notes in Computer Science: State enumeration with abstract descriptions of state machines

Bibliographic Details
Journal Title: Lecture Notes in Computer Science
Authors and Corporations: Corella, F., Langevin, M., Cerny, E., Zhou, Z., Song, X.
In: Lecture Notes in Computer Science, 1995, p. 146-160
Type of Resource: E-Chapter
Language: Undetermined
published:
Springer Berlin Heidelberg