%0 Conference Paper %1 conf/staf/Krikava15 %A Krikava, Filip %B TTC@STAF %D 2015 %E Rose, Louis M. %E Horn, Tassilo %E Krikava, Filip %I CEUR-WS.org %K dblp %P 167-175 %T Solving the TTC'15 Train Benchmark Case Study with SIGMA. %U http://dblp.uni-trier.de/db/conf/staf/ttc2015.html#Krikava15 %V 1524

@inproceedings{conf/staf/Krikava15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Krikava, Filip}, biburl = {https://www.bibsonomy.org/bibtex/23d4a6f2a3fae6bfc66ce04429937c659/dblp}, booktitle = {TTC@STAF}, crossref = {conf/staf/2015ttc}, editor = {Rose, Louis M. and Horn, Tassilo and Krikava, Filip}, ee = {https://ceur-ws.org/Vol-1524/paper22.pdf}, interhash = {a15b74d39c36ffbdd6a363de8ab052cc}, intrahash = {3d4a6f2a3fae6bfc66ce04429937c659}, keywords = {dblp}, pages = {167-175}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T20:24:14.000+0200}, title = {Solving the TTC'15 Train Benchmark Case Study with SIGMA.}, url = {http://dblp.uni-trier.de/db/conf/staf/ttc2015.html#Krikava15}, volume = 1524, year = 2015 }