Work

Model Checking a Path

Year: 2003

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-45187-7_17

Authors: N. Markey, P. Schnoebelen

Institutions: École Normale Supérieure Paris-Saclay, Université d'Orléans, Centre National de la Recherche Scientifique, Laboratoire Spécification et Vérification, Laboratoire d'Informatique Fondamentale d'Orléans

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1562978104

FWCI: 2.724

Cites: 29

Cited by: 84

Related to: 10