Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings


J. Sifakis (ed.)
Bok Engelsk 1990

Detaljer

Bibliotek som har denne