%0 Journal Article %1 journals/jlp/BortnikTWLMBFR05 %A Bortnik, Elena M. %A Trcka, Nikola %A Wijs, Anton %A Luttik, Bas %A van de Mortel-Fronczak, Joanna M. %A Baeten, Jos C. M. %A Fokkink, Wan J. %A Rooda, Jacobus E. %D 2005 %J J. Log. Algebraic Methods Program. %K dblp %N 2 %P 51-104 %T Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. %U http://dblp.uni-trier.de/db/journals/jlp/jlp65.html#BortnikTWLMBFR05 %V 65

@article{journals/jlp/BortnikTWLMBFR05, added-at = {2021-02-16T00:00:00.000+0100}, author = {Bortnik, Elena M. and Trcka, Nikola and Wijs, Anton and Luttik, Bas and van de Mortel-Fronczak, Joanna M. and Baeten, Jos C. M. and Fokkink, Wan J. and Rooda, Jacobus E.}, biburl = {https://www.bibsonomy.org/bibtex/2758116d14a83021c70980f049b912ac2/dblp}, ee = {https://doi.org/10.1016/j.jlap.2005.05.001}, interhash = {5ef33012da00ce3c3bcd1043cfd47774}, intrahash = {758116d14a83021c70980f049b912ac2}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 2, pages = {51-104}, timestamp = {2024-04-08T10:50:53.000+0200}, title = {Analyzing a chi model of a turntable system using Spin, CADP and Uppaal.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp65.html#BortnikTWLMBFR05}, volume = 65, year = 2005 }