@InProceedings{Seybold:2013,
author
=
"L.Seybold and P.Witczak and P.Majdzik",
title
=
"Modeling discrete-event systems with constraints",
booktitle
=
"Methods and Models in Automation and Robotics - MMAR 2013 [Dokument elektroniczny] 18th international conference; ISBN: 9781467355070",
address
=
"Międzyzdroje, Polska",
publisher
=
"New York IEEE Xplore ",
pages
=
"789--793",
year
=
"2013",
}