Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
Simulation-guided property checking based on a multi-valued AR-automata
DATE, 2001.
@inproceedings{DATE-2001-RufHKR,
author = "Jürgen Ruf and Dirk W. Hoffmann and Thomas Kropf and Wolfgang Rosenstiel",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367936",
isbn = "0-7695-0993-2",
pages = "742--748",
publisher = "{ACM}",
title = "{Simulation-guided property checking based on a multi-valued AR-automata}",
year = 2001,
}