Work

Regular Model Checking

Year: 2000

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/10722167_31

Authors: Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili

Institutions: Laboratoire d'Informatique Algorithmique: Fondements et Applications, Uppsala University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Division of Graduate Education

OpenAlex ID: W1861590051

FWCI: 8.437

Cites: 39

Cited by: 298

Related to: 10