Author:
Bielova Nataliia,Massacci Fabio
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Pontryagin, L.S., Arkhangel’skii, A.V. (eds.): General topology I: basic concepts and constructions, dimension theory. Springer, Heidelberg (1990)
2. Bauer, L., Ligatti, J., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. Int. J. of Inform. Sec. 4(1-2), 2–16 (2005)
3. Lecture Notes in Computer Science;N. Bielova,2009
4. Lecture Notes in Computer Science;A. Brown,2008
5. Chatterjee, K., Doyen, L., Henzinger, T.A.: Expressiveness and closure properties for quantitative languages. Comp. Research Repository, abs/1007.4018 (2010)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献