Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Kamel Tari
Institution:
University of Béjaïa
Observed institution:
University of Béjaïa
OpenAlex ID:
A5044795436
A correct-by-construction model for asynchronously communicating systems
2016
·
Zoubeyr Farah
, Yamine Ait-Ameur
, et al.
·
International Journal on Software Tools for Technology Transfer
·
25
PDF
Show more works
View as search
Works count:
1
Citation count:
25
H-index:
1
I10-index:
1
Year
Topic
Type