Work

Lazy Abstractions for Timed Automata

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-39799-8_71

Authors: Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz

Institutions: Centre National de la Recherche Scientifique, Université de Bordeaux, Laboratoire Bordelais de Recherche en Informatique, RWTH Aachen University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Agence Nationale de la Recherche

OpenAlex ID: W1514904193

FWCI: 1.811

Cites: 24

Cited by: 32

Related to: 10