Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icete/TriantafyllouOS10
%A Triantafyllou, Nikolaos
%A Ouranos, Iakovos
%A Stefaneas, Petros S.
%A Frangos, Panayiotis
%B ICETE (Selected Papers)
%D 2010
%E Obaidat, Mohammad S.
%E Tsihrintzis, George A.
%E Filipe, Joaquim
%I Springer
%K dblp
%P 424-438
%T Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm.
%U http://dblp.uni-trier.de/db/conf/icete/icete2010.html#TriantafyllouOS10
%V 222
%@ 978-3-642-25205-1
@inproceedings{conf/icete/TriantafyllouOS10,
added-at = {2018-05-29T00:00:00.000+0200},
author = {Triantafyllou, Nikolaos and Ouranos, Iakovos and Stefaneas, Petros S. and Frangos, Panayiotis},
biburl = {https://www.bibsonomy.org/bibtex/28e3ff67268d7859fee82e73faa4ca113/dblp},
booktitle = {ICETE (Selected Papers)},
crossref = {conf/icete/2010s},
editor = {Obaidat, Mohammad S. and Tsihrintzis, George A. and Filipe, Joaquim},
ee = {https://doi.org/10.1007/978-3-642-25206-8_28},
interhash = {afad7f4d2034b3e26a3aa16210fb4db2},
intrahash = {8e3ff67268d7859fee82e73faa4ca113},
isbn = {978-3-642-25205-1},
keywords = {dblp},
pages = {424-438},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {2019-10-22T13:32:04.000+0200},
title = {Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm.},
url = {http://dblp.uni-trier.de/db/conf/icete/icete2010.html#TriantafyllouOS10},
volume = 222,
year = 2010
}