Statistics
Publications
2
Citations
41
H-Index
2
Active since
1981
Affiliations
NXP (Netherlands)(Current)
AlainJ. Martin is an author at NXP (Netherlands) specializing in formal methods, computer science, and computing.
Publications per year
1981–1983
2
2
An axiomatic definition of synchronization primitives
AlainJ. Martin · Acta Informatica · 1981 · 23 citations
1–2 of 2