Vol-999⫷ Vol-1000 ⫸Vol-1001
urn:nbn:de:0074-1000-0


None⫷None⫸None
Yuliia RomenskaFrédéric Mallet

Lazy Parallel Synchronous Composition of Infinite Transition Systems