Modal transition systems with weight intervals

Line Juhl, Kim G. Larsen, JirĂ­ Srba. Modal transition systems with weight intervals. Journal of Logic and Algebraic Programming, 81(4):408-421, 2012. [doi]

Abstract

Abstract is missing.