Author:
Fränzle Martin,Teige Tino,Eggers Andreas
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference64 articles.
1. Optimizing bounded model checking for linear hybrid systems;Ábrahám,2005
2. E. Ábrahám, T. Schubert, B. Becker, M. Fränzle, C. Herde, Parallel SAT solving in bounded model checking, J. Log. Comput., in press, doi:10.1093/logcom/exp002.
3. Reachability analysis of controlled discrete-time stochastic hybrid systems;Amin,2006
4. Stochastic Differential Equations: Theory and Applications;Arnold,1974
5. G. Audemard, M. Bozzano, A. Cimatti, R. Sebastiani, Verifying industrial hybrid systems with mathsat, in: A. Biere, O. Strichman (Eds.), Proc. of Second Int. Wksh. on Bounded Model-Checking, BMC (Boston, MA, July), Electron. Notes in Theor. Comput. Sci., vol. 119 (2) , Elsevier, 2005, pp. 17–32.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献