Eintrag weiter verarbeiten
Lecture Notes in Computer Science: State enumeration with abstract descriptions of state machines
Gespeichert in:
Zeitschriftentitel: | Lecture Notes in Computer Science |
---|---|
Personen und Körperschaften: | , , , , |
In: | Lecture Notes in Computer Science, 1995, S. 146-160 |
Format: | E-Book-Kapitel |
Sprache: | Unbestimmt |
veröffentlicht: |
Springer Berlin Heidelberg
|