Formal model for micro-scale traffic simulation and control / Piotr BŁASZCZYK, Wojciech TUREK, Krzysztof CETNAROWICZ // W: MMAR 2013 : 18th international conference on Methods and Models in Automation and Robotics : 26–29 August 2013, Międzyzdroje, Poland : program, abstracts, proceedings (CD). — Szczecin : West Pomeranian University of Technology. Faculty of Electrical Engineering, [2013] + CD. — Opis częśc. wg. okł.. — ISBN: 978-83-7518-593-5. — S. 44, A5L-B. — Pełny tekst na dołączonym CD-ROMie. — S. 305–310. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 310, Abstr. — ISBN 978-1-4673-5507-0. — Toż: ISBN 978-1-4673-5508-7. — W bazie Web of Science dod. ISBN 978-1-4673-5506-3