Vol-722⫷ Vol-723 ⫸Vol-724
urn:nbn:de:0074-723-0


None⫷None⫸None
Michael Westergaard

Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets