Article thumbnail

On decidability of LTL model checking for process rewrite systems

By K. Etessami, E.W. Mayr, R. Mayr, R. Milner and M.L. Minsky
Publisher: 'Springer Science and Business Media LLC'
DOI identifier: 10.1007/s00236-008-0082-3
OAI identifier:
Provided by: MUCC (Crossref)
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.