I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Software Model Checking for Distributed Systems with Select..:

Artho, Cyrille ; Hagiya, Masami ; Potter, Richard...
Proc. 28th Int. Conf. on Automated Software Engineering (ASE 2013), p. 169-179.  , 2013
Link: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-19912