Publications
State Elimination Ordering Strategies: Some Experimental Results
Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010. | 2010 | inproceedings
Publication
Year of publication: 2010
Volume : 31
Pages : 139-148
Month :
CMUP publication : Yes