Model checking: beyond the finite

Date

2004

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

text

Keywords

Citation