Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus - Archive ouverte HAL Access content directly
Journal Articles Science of Computer Programming Year : 2003

Dates and versions

hal-00109620 , version 1 (25-10-2006)

Identifiers

Cite

Radu Mateescu, Mihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming, 2003, 46(3), pp.255-281. ⟨10.1016/s0167-6423(02)00094-1⟩. ⟨hal-00109620⟩
81 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More