The spin model checker : primer and reference manual /
06
主要作者: | |
---|---|
格式: | |
语言: | eng |
出版: |
Boston : Addison-Wesley Professional,
2004
|
主题: |
06
主要作者: | |
---|---|
格式: | |
语言: | eng |
出版: |
Boston : Addison-Wesley Professional,
2004
|
主题: |