Works matching IS 00015903 AND DT 2017 AND VI 54 AND IP 8
Results: 4
Model checking the evolution of gene regulatory networks.
- Published in:
- Acta Informatica, 2017, v. 54, n. 8, p. 765, doi. 10.1007/s00236-016-0278-x
- By:
- Publication type:
- Article
Approximate counting in SMT and value estimation for probabilistic programs.
- Published in:
- Acta Informatica, 2017, v. 54, n. 8, p. 729, doi. 10.1007/s00236-017-0297-2
- By:
- Publication type:
- Article
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).
- Published in:
- 2017
- By:
- Publication type:
- Editorial
Stateless model checking for TSO and PSO.
- Published in:
- Acta Informatica, 2017, v. 54, n. 8, p. 789, doi. 10.1007/s00236-016-0275-0
- By:
- Publication type:
- Article