Recent developments in FDR
Asıl Yazarlar: | Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
Springer Berlin/Heidelberg
2012
|
Benzer Materyaller
-
Recent developments in FDR
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012) -
Recent developments in FDR
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012) -
Recent Developments in FDR
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012) -
Faster FDR Counterexample Generation Using SAT−Solving
Yazar:: Palikareva, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009) -
FDR2 user manual
Yazar:: Gardiner, P, ve diğerleri
Baskı/Yayın Bilgisi: (2000)