@article{ ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwNy8zLTU0MC02MDM4NS05Xzk, title = {Lecture Notes in Computer Science: State enumeration with abstract descriptions of state machines}, journal = {Lecture Notes in Computer Science}, pages = {146-160}, author = {Corella, F. and Langevin, M. and Cerny, E. and Zhou, Z. and Song, X.}, publisher = {Springer Berlin Heidelberg}, year = {1995}, issn = {0302-9743}, issn = {1611-3349}, language = {Undetermined}, url = {http://dx.doi.org/10.1007/3-540-60385-9_9}, url = {https://katalog.ba-sachsen.de/Record/ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwNy8zLTU0MC02MDM4NS05Xzk} }