Login / Signup
Marina Waldén
Publication Activity (10 Years)
Years Active: 1989-2020
Publications (10 Years): 10
Top Topics
Events Occur
Literature Review
Concurrent Programs
Control Unit
Top Venues
J. Log. Algebraic Methods Program.
ABZ
Formal Aspects Comput.
CoRR
</>
Publications
</>