Old Web
English
Sign In
Acemap
>
authorDetail
>
E UribeTomás
E UribeTomás
Reactive system
Gas meter prover
Computer science
Formal verification
Theoretical computer science
1
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Verifying Temporal Properties of Reactive Systems
2000
Formal Methods in System Design
S BjørnerNikolaj
BrowneAnca
A ColónMichael
FinkbeinerBernd
MannaZohar
B SipmaHenny
E UribeTomás
Show All
Source
Cite
Save
Citations (1)
1