Symbolic Bisimulation for Open and Parameterized Systems

POPL 2020

Symbolic Bisimulation for Open and Parameterized Systems

Sep 17, 2020
|
35 views
Details
Presenter: Eric Madelaine Presented at PEPM'20, hosted at POPL 2020.

Comments
loading...