Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
2000
Publications per year
2000–2000
VERIFICATION OF CONCURRENT SYSTEMS USING ACTL
Robert Meolic, Tatjana Kapus, Zmago Brezo · 2000 · 10 citations
Rows per page
1–1 of 1