%0 Conference Paper %1 conf/dfg/KardosR04 %A Kardos, Martin %A Rammig, Franz J. %B SoftSpez Final Report %D 2004 %E Ehrig, Hartmut %E Damm, Werner %E Desel, Jörg %E Große-Rhode, Martin %E Reif, Wolfgang %E Schnieder, Eckehard %E Westkämper, Engelbert %I Springer %K dblp %P 451-473 %T Model Based Formal Verification of Distributed Production Control Systems. %U http://dblp.uni-trier.de/db/conf/dfg/softspez2004.html#KardosR04 %V 3147 %@ 3-540-23135-8

@inproceedings{conf/dfg/KardosR04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kardos, Martin and Rammig, Franz J.}, biburl = {https://www.bibsonomy.org/bibtex/22d87fa92ea3972b9c7b0a9c012f85c5a/dblp}, booktitle = {SoftSpez Final Report}, crossref = {conf/dfg/2004}, editor = {Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, ee = {https://doi.org/10.1007/978-3-540-27863-4_25}, interhash = {d9757e6cf232caf17377c046d939fc40}, intrahash = {2d87fa92ea3972b9c7b0a9c012f85c5a}, isbn = {3-540-23135-8}, keywords = {dblp}, pages = {451-473}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:18:57.000+0200}, title = {Model Based Formal Verification of Distributed Production Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/dfg/softspez2004.html#KardosR04}, volume = 3147, year = 2004 }