![](/img/cover-not-exists.png)
Modular Software Model Checking for Distributed Systems
Leungwattanakit, Watcharin, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu, Takahashi, KoichiVolume:
40
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/tse.2013.49
Date:
May, 2014
File:
PDF, 1.97 MB
english, 2014