Old Web
English
Sign In
Acemap
>
authorDetail
>
KestenYonit
KestenYonit
Reactive system
Theoretical computer science
CTL*
Mathematics
Discrete mathematics
2
Papers
0
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
Verification by Augmented Abstraction
2001
Journal of Computer and System Sciences
KestenYonit
PnueliAmir
Y VardiMoshe
Show All
Source
Cite
Save
Citations (0)
1