*Result*: Model checking software
Title:
Model checking software
Authors:
Publisher Information:
Springer, 2002.
Publication Year:
2002
Document Type:
*Conference*
Conference object
Language:
English
Accession Number:
edsair.dris...01180..27c858c6bc7b53e7362daa4faeea4e06
Database:
OpenAIRE