Watchdog transformations for property−oriented model−checking

Watchdog transformations for property−oriented model−checking

Mostrar outras versões (2)
Detalhes bibliográficos
Principais autores: Goldsmith, M, Moffat, N, Roscoe, B, Whitworth, T, Zakiuddin, I
Formato: Conference item
Publicado em: Springer Berlin/Heidelberg 2003

Registros relacionados