By Topic

An automated verification method for distributed systems software based on model extraction

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Holzmann, G.J. ; Lucent Technol. Bell Labs., Murray Hill, NJ, USA ; Smith, M.H.