Max Fuchs, Jan Philipps. Focus. In Claus Lewerentz, Thomas Lindner, editors, Formal Development of Reactive Systems - Case Study Production Cell. Volume 891 of Lecture Notes in Computer Science, pages 185-197, Springer, 1995.
@inproceedings{FuchsP95, title = {Focus}, author = {Max Fuchs and Jan Philipps}, year = {1995}, researchr = {https://researchr.org/publication/FuchsP95}, cites = {0}, citedby = {0}, pages = {185-197}, booktitle = {Formal Development of Reactive Systems - Case Study Production Cell}, editor = {Claus Lewerentz and Thomas Lindner}, volume = {891}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58867-1}, }