[Lecture Notes in Computer Science] Symbolic and Quantitative Approaches to Reasoning and Uncertainty Volume 747 || Taxonomic linear theories
- 作者Clarke, Michael; Kruse, Rudolf; Moral, Serafín
- 文件大小421.40KB
- 发表时间1993
- DOI10.1007/bfb0028191
- 页码121-128
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal MethSpringer-Verlag · 2005
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 8739 ||Albert, Elvira; Sekerinski, Emil · 2014
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 4591 ||Davies, Jim; Gibbons, Jeremy · 2007
[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 ||Rayadurgam, Sanjai; Tkachuk, Oksana · 2016
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 ||Johnsen, Einar Broch; Petre, Luigia · 2013
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on FormalSpringer-Verlag · 2006
[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design ||Aagaard, Mark D.; O’Leary, John W. · 2002
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 ||Butler, Michael; Petre, Luigia; Sere, Kaisa · 2002