1
by Groote, Jan Friso.
Published 2021
Format:
Table of Contents: ... -- 4.2 From Petri Net Relaxations to Distance Under-approximations -- 4.3 Directed Reachability Based...
Click to View