Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Xinyu Lian
Latest
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
Cite
×