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.