Recent developments in FDR
Những tác giả chính: | Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J |
---|---|
Định dạng: | Conference item |
Được phát hành: |
Springer Berlin/Heidelberg
2012
|
Những quyển sách tương tự
-
Recent developments in FDR
Bằng: Armstrong, P, et al.
Được phát hành: (2012) -
Recent developments in FDR
Bằng: Armstrong, P, et al.
Được phát hành: (2012) -
Recent Developments in FDR
Bằng: Armstrong, P, et al.
Được phát hành: (2012) -
Faster FDR Counterexample Generation Using SAT−Solving
Bằng: Palikareva, H, et al.
Được phát hành: (2009) -
FDR2 user manual
Bằng: Gardiner, P, et al.
Được phát hành: (2000)