%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 }