Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/mbmv/SchueleS02
%A Schuele, Tobias
%A Schneider, Klaus
%B MBMV
%D 2002
%E Ruf, Jürgen
%I Shaker
%K dblp
%P 229-238
%T Symbolic Model Checking by Automata Based Set Representation.
%U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2002.html#SchueleS02
@inproceedings{conf/mbmv/SchueleS02,
added-at = {2014-12-22T00:00:00.000+0100},
author = {Schuele, Tobias and Schneider, Klaus},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c7f8bee64d885a74d4b3769b851b118b/dblp},
booktitle = {MBMV},
crossref = {conf/mbmv/2002},
editor = {Ruf, Jürgen},
interhash = {d5c6123ac9f5ae2bd8d1d5462e11eb87},
intrahash = {c7f8bee64d885a74d4b3769b851b118b},
keywords = {dblp},
pages = {229-238},
publisher = {Shaker},
timestamp = {2016-02-02T14:12:45.000+0100},
title = {Symbolic Model Checking by Automata Based Set Representation.},
url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2002.html#SchueleS02},
year = 2002
}
