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/etfa/KlotzSFHSTS11
%A Klotz, Thomas
%A Straube, Bernd
%A Fordran, Eva
%A Haufe, Jürgen
%A Schulze, Frank
%A Turek, Karsten
%A Schmidt, Thorsten
%B ETFA
%D 2011
%E Mammeri, Zoubir
%I IEEE
%K
%P 1-8
%T An approach to the verification of material handling systems.
%U http://dblp.uni-trier.de/db/conf/etfa/etfa2011.html#KlotzSFHSTS11
%@ 978-1-4577-0018-7
@inproceedings{conf/etfa/KlotzSFHSTS11,
added-at = {2023-12-13T01:26:43.000+0100},
author = {Klotz, Thomas and Straube, Bernd and Fordran, Eva and Haufe, Jürgen and Schulze, Frank and Turek, Karsten and Schmidt, Thorsten},
biburl = {https://www.bibsonomy.org/bibtex/27e14ba0a812be202c15f33d9946cff31/admin},
booktitle = {ETFA},
crossref = {conf/etfa/2011},
editor = {Mammeri, Zoubir},
ee = {https://doi.org/10.1109/ETFA.2011.6059043},
interhash = {71ab173b1e0a54be8cc5fd1629eb0da3},
intrahash = {7e14ba0a812be202c15f33d9946cff31},
isbn = {978-1-4577-0018-7},
keywords = {},
pages = {1-8},
publisher = {IEEE},
timestamp = {2023-12-13T01:26:43.000+0100},
title = {An approach to the verification of material handling systems.},
url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2011.html#KlotzSFHSTS11},
year = 2011
}