On Decidability of LTL+Past Model Checking for Process Rewrite Systems

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

Year of publication 2007
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Informatics

Citation
Description The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.