@InProceedings{Seybold:2013,
author
=
"L.Seybold and P.Witczak and P.Majdzik and R.Stetter",
title
=
"Modeling discrete-event systems with hard synchronization constraints",
booktitle
=
"11th International Conference on Diagnostics of Processes and Systems - DPS 2013; ISBN: 9783642398803",
address
=
"Łagów Lubuski, Polska",
publisher
=
"Berlin Heidelberg Springer-Verlag ",
pages
=
"511--521",
year
=
"2013",
}