%0 Journal Article %1 journals/infsof/ChiversP09 %A Chivers, Howard %A Paige, Richard F. %D 2009 %J Inf. Softw. Technol. %K dblp %N 5 %P 876-893 %T XRound: A reversible template language and its application in model-based security analysis. %U http://dblp.uni-trier.de/db/journals/infsof/infsof51.html#ChiversP09 %V 51

@article{journals/infsof/ChiversP09, added-at = {2022-08-16T00:00:00.000+0200}, author = {Chivers, Howard and Paige, Richard F.}, biburl = {https://www.bibsonomy.org/bibtex/2fd1fefb15c342da2806da0c64ab0f09d/dblp}, ee = {https://www.wikidata.org/entity/Q113442211}, interhash = {302d303b86ad8b04eaaf831667d6282c}, intrahash = {fd1fefb15c342da2806da0c64ab0f09d}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 5, pages = {876-893}, timestamp = {2024-04-09T04:47:13.000+0200}, title = {XRound: A reversible template language and its application in model-based security analysis.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof51.html#ChiversP09}, volume = 51, year = 2009 }