%0 Conference Paper %1 conf/kkio/SzpyrkaPW17 %A Szpyrka, Marcin %A Podolski, Lukasz %A Wypych, Michal %B KKIO Software Engineering Conference %D 2017 %E Kosiuczenko, Piotr %E Madeyski, Lech %I Springer %K dblp %P 165-178 %T Modelling and Verification of Real-Time Systems with Alvis. %U http://dblp.uni-trier.de/db/conf/kkio/kkio2017.html#SzpyrkaPW17 %V 733 %@ 978-3-319-65208-5

@inproceedings{conf/kkio/SzpyrkaPW17, added-at = {2020-12-29T00:00:00.000+0100}, author = {Szpyrka, Marcin and Podolski, Lukasz and Wypych, Michal}, biburl = {https://www.bibsonomy.org/bibtex/2c0acc9300e33708296dc71ca0d2e57d7/dblp}, booktitle = {KKIO Software Engineering Conference}, crossref = {conf/kkio/2017}, editor = {Kosiuczenko, Piotr and Madeyski, Lech}, ee = {https://doi.org/10.1007/978-3-319-65208-5_12}, interhash = {5030cd6867f92ce2f7764903cfa9c734}, intrahash = {c0acc9300e33708296dc71ca0d2e57d7}, isbn = {978-3-319-65208-5}, keywords = {dblp}, pages = {165-178}, publisher = {Springer}, series = {Studies in Computational Intelligence}, timestamp = {2024-04-10T12:08:36.000+0200}, title = {Modelling and Verification of Real-Time Systems with Alvis.}, url = {http://dblp.uni-trier.de/db/conf/kkio/kkio2017.html#SzpyrkaPW17}, volume = 733, year = 2017 }