Vol-1159⫷ Vol-1160 ⫸Vol-1161
urn:nbn:de:0074-1160-0


None⫷None⫸None
Kaïs Klai

On-The-Fly Model Checking of Times Properties on Time Petri Nets