An Interactive Verification Tool for Synchronous/Reactive Systems.
M. Gesell, and K. Schneider. MBMV, page 267-277. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)
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/mbmv/GesellS13
%A Gesell, Manuel
%A Schneider, Klaus
%B MBMV
%D 2013
%E Haubelt, Christian
%E Timmermann, Dirk
%I Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock
%K dblp
%P 267-277
%T An Interactive Verification Tool for Synchronous/Reactive Systems.
%U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2013.html#GesellS13
%@ 978-3-86009-147-0
@inproceedings{conf/mbmv/GesellS13,
added-at = {2014-12-22T00:00:00.000+0100},
author = {Gesell, Manuel and Schneider, Klaus},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bd1234807ba99a375dcd6b10733bd046/dblp},
booktitle = {MBMV},
crossref = {conf/mbmv/2013},
editor = {Haubelt, Christian and Timmermann, Dirk},
interhash = {f8e4510a79299fb2ac7540258ed0a6f6},
intrahash = {bd1234807ba99a375dcd6b10733bd046},
isbn = {978-3-86009-147-0},
keywords = {dblp},
pages = {267-277},
publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock},
timestamp = {2016-02-02T14:12:46.000+0100},
title = {An Interactive Verification Tool for Synchronous/Reactive Systems.},
url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2013.html#GesellS13},
year = 2013
}