%0 Journal Article %1 journals/tissec/RudysW02 %A Rudys, Algis %A Wallach, Dan S. %D 2002 %J ACM Trans. Inf. Syst. Secur. %K dblp %N 2 %P 138-168 %T Termination in language-based systems. %U http://dblp.uni-trier.de/db/journals/tissec/tissec5.html#RudysW02 %V 5

@article{journals/tissec/RudysW02, added-at = {2019-07-29T00:00:00.000+0200}, author = {Rudys, Algis and Wallach, Dan S.}, biburl = {https://www.bibsonomy.org/bibtex/23c1280667e98b99e7b56662586312223/dblp}, ee = {https://www.wikidata.org/entity/Q64216247}, interhash = {fb45e7b641941802655cf6937e2fbf50}, intrahash = {3c1280667e98b99e7b56662586312223}, journal = {ACM Trans. Inf. Syst. Secur.}, keywords = {dblp}, number = 2, pages = {138-168}, timestamp = {2019-07-30T11:41:21.000+0200}, title = {Termination in language-based systems.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec5.html#RudysW02}, volume = 5, year = 2002 }