(1997). Validating requirements for fault tolerant systems using model checking / Francis Schneider [and others].
Citación estilo ChicagoValidating Requirements for Fault Tolerant Systems Using Model Checking / Francis Schneider [and Others]. 1997.
Cita MLAValidating Requirements for Fault Tolerant Systems Using Model Checking / Francis Schneider [and Others]. 1997.
Warning: These citations may not always be 100% accurate.