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

Cite this paper

@inproceedings{Bois1997OnTU, title={On the Use of a Formal R. E. Language - The Generalized Railroad Crossing Problem}, author={Philippe Du Bois and Eric Dubois and Jean-Marc Zeippen}, booktitle={RE}, year={1997} }