Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Palle Raabjerg
@article{DBLP:journals/sosym/BorgstromHJRVPP15, author = {Johannes Borgstr{\"{o}}m and Shuqin Huang and Magnus Johansson and Palle Raabjerg and Bj{\"{o}}rn Victor and Johannes {\AA}man Pohjola and Joachim Parrow}, title = {Broadcast psi-calculi with an application to wireless protocols}, journal = {Softw. Syst. Model.}, volume = {14}, number = {1}, pages = {201--216}, year = {2015}, url = {https://doi.org/10.1007/s10270-013-0375-z}, doi = {10.1007/S10270-013-0375-Z}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/BorgstromHJRVPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/ParrowBRP14, author = {Joachim Parrow and Johannes Borgstr{\"{o}}m and Palle Raabjerg and Johannes {\AA}man Pohjola}, title = {Higher-order psi-calculi}, journal = {Math. Struct. Comput. Sci.}, volume = {24}, number = {2}, year = {2014}, url = {https://doi.org/10.1017/S0960129513000170}, doi = {10.1017/S0960129513000170}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/ParrowBRP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BorgstromHJRVPP11, author = {Johannes Borgstr{\"{o}}m and Shuqin Huang and Magnus Johansson and Palle Raabjerg and Bj{\"{o}}rn Victor and Johannes {\AA}man Pohjola and Joachim Parrow}, editor = {Gilles Barthe and Alberto Pardo and Gerardo Schneider}, title = {Broadcast Psi-calculi with an Application to Wireless Protocols}, booktitle = {Software Engineering and Formal Methods - 9th International Conference, {SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7041}, pages = {74--89}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24690-6\_7}, doi = {10.1007/978-3-642-24690-6\_7}, timestamp = {Sat, 19 Oct 2019 20:16:56 +0200}, biburl = {https://dblp.org/rec/conf/sefm/BorgstromHJRVPP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.