Nets, terms and formulas : three views of concurrent processes and their relationship


Ernst-Rüdiger Olderog
Bok Engelsk 1991

Detaljer

Bibliotek som har denne