Details for the publication abs-1104-4983.

Lijun Zhang, David N. Jansen (), Flemming Nielson, Holger Hermanns (): Automata-Based CSL Model Checking. In Log. Methods Comput. Sci. 8(2), 2011. DOI BIB