%0 Conference Paper %1 journals/entcs/DimovskiL05 %A Dimovski, Aleksandar S. %A Lazic, Ranko %B AVoCS %D 2004 %E Huth, Michael %I Elsevier %K dblp %N 6 %P 105-125 %T Software Model Checking Based on Game Semantics and CSP. %U http://dblp.uni-trier.de/db/conf/avocs/avocs2004.html#DimovskiL05 %V 128

@inproceedings{journals/entcs/DimovskiL05, added-at = {2023-09-30T00:00:00.000+0200}, author = {Dimovski, Aleksandar S. and Lazic, Ranko}, biburl = {https://www.bibsonomy.org/bibtex/20f39dac0b9e5e31e9d86ba689034c270/dblp}, booktitle = {AVoCS}, crossref = {conf/avocs/2004}, editor = {Huth, Michael}, ee = {https://doi.org/10.1016/j.entcs.2005.04.007}, interhash = {c1618c2cd44f298e4401c1e9c11c5143}, intrahash = {0f39dac0b9e5e31e9d86ba689034c270}, keywords = {dblp}, number = 6, pages = {105-125}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:24:04.000+0200}, title = {Software Model Checking Based on Game Semantics and CSP.}, url = {http://dblp.uni-trier.de/db/conf/avocs/avocs2004.html#DimovskiL05}, volume = 128, year = 2004 }