Old Web
English
Sign In
Acemap
>
authorDetail
>
ZaksAleksandr
ZaksAleksandr
Formal methods
Computer science
Component-based software engineering
external interface
Temporal logic
1
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
Monitoring Interfaces for Faults
2006
Electronic Notes in Theoretical Computer Science
PnueliAmir
ZaksAleksandr
ZuckLenore
Show All
Source
Cite
Save
Citations (0)
1