%0 Conference Paper %1 conf/sas/CarlssonSW03 %A Carlsson, Richard %A Sagonas, Konstantinos %A Wilhelmsson, Jesper %B SAS %D 2003 %E Cousot, Radhia %I Springer %K dblp %P 73-90 %T Message Analysis for Concurrent Languages. %U http://dblp.uni-trier.de/db/conf/sas/sas2003.html#CarlssonSW03 %V 2694 %@ 3-540-40325-6

@inproceedings{conf/sas/CarlssonSW03, added-at = {2019-06-02T00:00:00.000+0200}, author = {Carlsson, Richard and Sagonas, Konstantinos and Wilhelmsson, Jesper}, biburl = {https://www.bibsonomy.org/bibtex/21c9e247d3b3e2f0ef9ba49e678588c43/dblp}, booktitle = {SAS}, crossref = {conf/sas/2003}, editor = {Cousot, Radhia}, ee = {https://www.wikidata.org/entity/Q58968285}, interhash = {c46f7e0c3ac066cda6a0157abcbbd10e}, intrahash = {1c9e247d3b3e2f0ef9ba49e678588c43}, isbn = {3-540-40325-6}, keywords = {dblp}, pages = {73-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:09:49.000+0200}, title = {Message Analysis for Concurrent Languages.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2003.html#CarlssonSW03}, volume = 2694, year = 2003 }