@Inproceedings{EPTCS3.3, author = {Jack , John and P\u{a}un , Andrei }, year = {2009}, title = {The Nondeterministic Waiting Time Algorithm: A Review}, editor = {Dassow, J\"urgen and Pighizzini, Giovanni and Truthe, Bianca}, booktitle = {{\rm Proceedings Eleventh International Workshop on} Descriptional Complexity of Formal Systems, {\rm Magdeburg, Germany, July 6-9, 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {3}, publisher = {Open Publishing Association}, pages = {29-46}, doi = {10.4204/EPTCS.3.3}, }