Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/date/RufHKR01
%A Ruf, Jürgen
%A Hoffmann, Dirk W.
%A Kropf, Thomas
%A Rosenstiel, Wolfgang
%B DATE
%D 2001
%E Nebel, Wolfgang
%E Jerraya, Ahmed
%I IEEE Computer Society
%K
%P 742-748
%T Simulation-guided property checking based on a multi-valued AR-automata.
%U http://dblp.uni-trier.de/db/conf/date/date2001.html#RufHKR01
%@ 0-7695-0993-2
@inproceedings{conf/date/RufHKR01,
added-at = {2023-12-13T03:19:32.000+0100},
author = {Ruf, Jürgen and Hoffmann, Dirk W. and Kropf, Thomas and Rosenstiel, Wolfgang},
biburl = {https://www.bibsonomy.org/bibtex/2f31f4217c8647c1449e8fc4734861f3c/admin},
booktitle = {DATE},
crossref = {conf/date/2001},
editor = {Nebel, Wolfgang and Jerraya, Ahmed},
ee = {http://dl.acm.org/citation.cfm?id=367936},
interhash = {8a1eacc86abffee9c4ca5e71f8c04da3},
intrahash = {f31f4217c8647c1449e8fc4734861f3c},
isbn = {0-7695-0993-2},
keywords = {},
pages = {742-748},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T03:19:32.000+0100},
title = {Simulation-guided property checking based on a multi-valued AR-automata.},
url = {http://dblp.uni-trier.de/db/conf/date/date2001.html#RufHKR01},
year = 2001
}