%0 Conference Paper %1 journals/corr/abs-2004-01323 %A Dilley, Nicolas %A Lange, Julien %B PLACES@ETAPS %D 2020 %E Balzer, Stephanie %E Padovani, Luca %K dblp %P 34-45 %T Bounded verification of message-passing concurrency in Go using Promela and Spin. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs314.html#abs-2004-01323 %V 314

@inproceedings{journals/corr/abs-2004-01323, added-at = {2024-05-07T00:00:00.000+0200}, author = {Dilley, Nicolas and Lange, Julien}, biburl = {https://www.bibsonomy.org/bibtex/2fc1445559f732f523ae38a54e381432a/dblp}, booktitle = {PLACES@ETAPS}, crossref = {journals/corr/abs-2004-01062}, editor = {Balzer, Stephanie and Padovani, Luca}, ee = {https://arxiv.org/abs/2004.01323}, interhash = {f1b2f89ae6cfc073f86fa90a63082fb4}, intrahash = {fc1445559f732f523ae38a54e381432a}, keywords = {dblp}, pages = {34-45}, series = {EPTCS}, timestamp = {2024-05-13T08:21:39.000+0200}, title = {Bounded verification of message-passing concurrency in Go using Promela and Spin.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs314.html#abs-2004-01323}, volume = 314, year = 2020 }