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/Flake0R00
%A Flake, Stephan
%A Müller, Wolfgang
%A Ruf, Jürgen
%B MBMV
%D 2000
%E Waldschmidt, Klaus
%E Grimm, Christoph
%I VDE
%K
%P 99-108
%T Structured English for Model Checking Specification.
%U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2000.html#Flake0R00
@inproceedings{conf/mbmv/Flake0R00,
added-at = {2023-12-13T08:54:43.000+0100},
author = {Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen},
biburl = {https://www.bibsonomy.org/bibtex/275b16755979a31326d19fbbe23fdba21/admin},
booktitle = {MBMV},
crossref = {conf/mbmv/2000},
editor = {Waldschmidt, Klaus and Grimm, Christoph},
interhash = {c8e4e01b9f861b831408a58a37dfd39d},
intrahash = {75b16755979a31326d19fbbe23fdba21},
keywords = {},
pages = {99-108},
publisher = {VDE},
timestamp = {2023-12-13T08:54:43.000+0100},
title = {Structured English for Model Checking Specification.},
url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2000.html#Flake0R00},
year = 2000
}