Vol-850⫷ Vol-851 ⫸Vol-852
urn:nbn:de:0074-851-0


None⫷None⫸None
Wojciech PenczekAndrzej ZbrzeznyAgata JanowskaAgata Pólrola

Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets