Past is for free: on the complexity of verifying linear temporal properties with past

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Nicolas Markey

Journal Title: Acta Informatica

Date: 2004

Volume: 40

Issue: 6-7

p. 431 - 458

For further information about this item go to:

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12