Work

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

Year: 2003

Type: article

Source: Formal Methods in System Design

DOI: 10.1023/a:1024480913162

Author: B. Jeannet

Institutions: Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2084555692

FWCI: 6.012

Cites: 49

Cited by: 85

Related to: 10