Mechanically supporting case analysis for verification of distributed systems
Seino, Takahiro, Ogato, Kazuhiro, Futatsugi, KokichiVolume:
1
Language:
english
Journal:
International Journal of Pervasive Computing and Communications
DOI:
10.1108/17427370580000119
Date:
May, 2005
File:
PDF, 300 KB
english, 2005