On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem.

Philippe Du Bois, Eric Dubois, Jean-Marc Zeippen

Browse the full RE paper archive.