default search action
BibTeX record conf/pdes/OcenasekS09
@inproceedings{DBLP:conf/pdes/OcenasekS09, author = {Pavel Ocenasek and Miroslav Sv{\'{e}}da}, editor = {Vil{\'{e}}m Srovnal}, title = {{AVISPA:} Towards practical verification of communication properties}, booktitle = {9th {IFAC} Workshop on Programmable Devices and Embedded Systems, PDeS 2009, Ostrava, Czech Republic, February 10-12, 2009}, pages = {153--156}, publisher = {International Federation of Automatic Control}, year = {2009}, url = {https://doi.org/10.3182/20090210-3-CZ-4002.00032}, doi = {10.3182/20090210-3-CZ-4002.00032}, timestamp = {Tue, 09 Feb 2021 08:31:43 +0100}, biburl = {https://dblp.org/rec/conf/pdes/OcenasekS09.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.