Jürgen Ruf. Data Analysis of Timed Finite State Systems. In Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. pages 11-20, MoPress, 2001.
@inproceedings{Ruf01-0, title = {Data Analysis of Timed Finite State Systems}, author = {Jürgen Ruf}, year = {2001}, researchr = {https://researchr.org/publication/Ruf01-0}, cites = {0}, citedby = {0}, pages = {11-20}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001}, editor = {Dieter Monjau}, publisher = {MoPress}, }