Vol-2137⫷ Vol-2138 ⫸Vol-2139
urn:nbn:de:0074-2138-0


Vol-2138/paper8⫷Vol-2138/paper9⫸Vol-2138/paper10

A Simple Abstract Interpretation for Petri Net Queries