Work

Modeling Timed Concurrent Systems using Generalized Ultrametrics

Year: 2006

Type: article

Authors: Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee

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: W2552379319

FWCI: 0.339

Cites: 19

Cited by: 6

Related to: 20