LTL model checking for recursive programs

Journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Volume

5799 LNCS

Pages

382-396

Date Issued

2009

Author(s)

Huang, G.-D.

Cai, L.-Z.

DOI

URI

URL

Type

conference paper