Jiri Barnat
AuthID: R-00H-A4P
1
TÃTULO: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011 PDF
AUTORES: Jiri Barnat; Keijo Heljanko;
PUBLICAÇÃO: 2011, FONTE: PDMC, VOLUME: 72
AUTORES: Jiri Barnat; Keijo Heljanko;
PUBLICAÇÃO: 2011, FONTE: PDMC, VOLUME: 72
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv