Old Web
English
Sign In
Acemap
>
authorDetail
>
A. A. Meshcherskii
A. A. Meshcherskii
Theoretical computer science
Computer science
Correctness
Coherence (physics)
Programming language
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
Verification of semantic correctness of protocols using the property of coherence
1990
Automatic Control and Computer Sciences
Yu. G. Karpov
A. V. Borshchev
A. A. Meshcherskii
Show All
Source
Cite
Save
Citations (0)
1