×

Found 2 Documents (Results 1–2)

Model-checking LTL with regular valuations for pushdown systems. (English) Zbl 1087.68542

Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 316-339 (2001).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field

Software