Found: 11
Select item for more details and to access through your institution.
Reachability analysis of reversal-bounded automata on series–parallel graphs.
- Published in:
- Acta Informatica, 2018, v. 55, n. 2, p. 153, doi. 10.1007/s00236-016-0290-1
- By:
- Publication type:
- Article
Verification of population protocols.
- Published in:
- Acta Informatica, 2017, v. 54, n. 2, p. 191, doi. 10.1007/s00236-016-0272-3
- 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
Dynamic Bayesian networks for formal verification of structured stochastic processes.
- Published in:
- Acta Informatica, 2017, v. 54, n. 2, p. 217, doi. 10.1007/s00236-016-0287-9
- By:
- Publication type:
- Article
The software model checker B last.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 505, doi. 10.1007/s10009-007-0044-z
- By:
- Publication type:
- Article
Stochastic limit-average games are in EXPTIME.
- Published in:
- International Journal of Game Theory, 2008, v. 37, n. 2, p. 219, doi. 10.1007/s00182-007-0110-5
- By:
- Publication type:
- Article
Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1. £32.99. 322 pp. Hardcover.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
GENERAL DECIDABILITY RESULTS FOR ASYNCHRONOUS SHARED-MEMORY PROGRAMS: HIGHER-ORDER AND BEYOND.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:2)2022
- By:
- Publication type:
- Article
QUADRATIC WORD EQUATIONS WITH LENGTH CONSTRAINTS, COUNTER SYSTEMS, AND PRESBURGER ARITHMETIC WITH DIVISIBILITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 4, p. 1, doi. 10.46298/LMCS-17(4:4)2021
- By:
- Publication type:
- Article
THE COMPLEXITY OF COVERAGE.
- Published in:
- International Journal of Foundations of Computer Science, 2013, v. 24, n. 2, p. 165, doi. 10.1142/S0129054113400066
- By:
- Publication type:
- Article
DISCOUNTING AND AVERAGING IN GAMES ACROSS TIME SCALES.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 3, p. 609, doi. 10.1142/S0129054112400308
- By:
- Publication type:
- Article