Work

Freedom, weakness, and determinism: from linear-time to branching-time

Year: 2002

Type: conference-paper

DOI: 10.1109/lics.1998.705645

Authors: O. Kupferman, M.Y. Vardit

Institution: University of California, Berkeley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1930640507

FWCI: 6.384

Cites: 40

Cited by: 76

Related to: 10