Author:
Goyet Alexis,Hagiya Masami,Tanabe Yoshinori
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Kozen, D.: Results on the propositional μ-calculus. Theoret. Comput. Sci. 27(3), 333–354 (1983)
2. Lecture Notes in Computer Science;A. Gurfinkel,2003
3. Lecture Notes in Computer Science;G. Bruns,2004
4. Kameyama, Y., Kinoshita, Y., Nishizawa, K.: Weighted Kripke structures and refinement of models. In: 23rd Conference of Japan Society for Software Science and Technology (2006)
5. Droste, M., Gastin, P.: Weighted automata and weighted logics. Theor. Comput. Sci. 380(1-2), 69–86 (2007)