Journal Articles
Science of Computer Programming
Year : 2003
Mihaela Sighireanu : Connect in order to contact the contributor
https://hal.science/hal-00109620
Submitted on : Wednesday, October 25, 2006-9:53:24 AM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : hal-00109620 , version 1
- DOI : 10.1016/s0167-6423(02)00094-1
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