%0 Conference Paper %1 conf/asian/BanaHO07 %A Bana, Gergei %A Hasebe, Koji %A Okada, Mitsuhiro %B ASIAN %D 2007 %E Cervesato, Iliano %I Springer %K dblp %P 86-94 %T Computational Semantics for Basic Protocol Logic - A Stochastic Approach. %U http://dblp.uni-trier.de/db/conf/asian/asian2007.html#BanaHO07 %V 4846 %@ 978-3-540-76927-9

@inproceedings{conf/asian/BanaHO07, added-at = {2017-05-26T00:00:00.000+0200}, author = {Bana, Gergei and Hasebe, Koji and Okada, Mitsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/2d6743b2e3169ef05560e806285647223/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/2007}, editor = {Cervesato, Iliano}, ee = {https://doi.org/10.1007/978-3-540-76929-3_10}, interhash = {8b921d6be80fc7321ab19eca4b350547}, intrahash = {d6743b2e3169ef05560e806285647223}, isbn = {978-3-540-76927-9}, keywords = {dblp}, pages = {86-94}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:18:55.000+0200}, title = {Computational Semantics for Basic Protocol Logic - A Stochastic Approach.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian2007.html#BanaHO07}, volume = 4846, year = 2007 }