Model Checking Propositional Dynamic Logic With All Extras
Journal of Applied Logic - Netherlands
doi 10.1016/j.jal.2005.08.002
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 2006
Authors
Publisher
Elsevier BV
Available in full text
March 1, 2006
Elsevier BV