Jan Krause, Christian Diedrich. Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken. Automatisierungstechnik, 61(2):114-121, 2013. [doi]
@article{KrauseD13, title = {Analyse von reaktiven Verhaltensmodellen mit Constraintprogrammierung und Petrinetztechniken}, author = {Jan Krause and Christian Diedrich}, year = {2013}, doi = {10.1524/auto.2013.0013}, url = {http://dx.doi.org/10.1524/auto.2013.0013}, researchr = {https://researchr.org/publication/KrauseD13}, cites = {0}, citedby = {0}, journal = {Automatisierungstechnik}, volume = {61}, number = {2}, pages = {114-121}, }