BibTeX Export

@inproceedings{Authenticus:P-008-KZH,
	title = {{State Elimination Ordering Strategies: Some Experimental Results}},
	author = {N Moreira and D Nabais and R Reis},
	booktitle = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010.},
	doi = {10.4204/EPTCS.31.16},
	pages = {139-148},
	publisher = {Open Publishing Association},
	type = {Proceedings Paper},
	volume = {31},
	year = {2010}
}