Katoen, Joost-Pieter, Ed, Konig, Barbara
Concur 2011 - Concurrency theory 22nd international conference, concur 2011 Aachen, germany, September 2011 proceedings - New york Springer 2011 - 560 - Lecture notes in computer science; 6901 .
9783642232169
681 LNCS
Concur 2011 - Concurrency theory 22nd international conference, concur 2011 Aachen, germany, September 2011 proceedings - New york Springer 2011 - 560 - Lecture notes in computer science; 6901 .
9783642232169
681 LNCS