%0 Conference Paper %1 conf/concur/Gribomont90 %A Gribomont, E. Pascal %B CONCUR %D 1990 %E Baeten, Jos C. M. %E Klop, Jan Willem %I Springer %K dblp %P 298-313 %T A Programming Logic for Formal Concurent Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur1990.html#Gribomont90 %V 458 %@ 3-540-53048-7

@inproceedings{conf/concur/Gribomont90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Gribomont, E. Pascal}, biburl = {https://www.bibsonomy.org/bibtex/2daec698ed1dfc46bcbadc109a346c692/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1990}, editor = {Baeten, Jos C. M. and Klop, Jan Willem}, ee = {https://doi.org/10.1007/BFb0039067}, interhash = {247fb7d158980abd194a9abedd25c747}, intrahash = {daec698ed1dfc46bcbadc109a346c692}, isbn = {3-540-53048-7}, keywords = {dblp}, pages = {298-313}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:20.000+0200}, title = {A Programming Logic for Formal Concurent Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1990.html#Gribomont90}, volume = 458, year = 1990 }