View in EDS

The probabilistic termination tool amber.

Saved in:
Bibliographic Details
Title: The probabilistic termination tool amber.
Authors: Moosbrugger, Marcel1, marcel.moosbrugger@tuwien.ac.at, Bartocci, Ezio1, Katoen, Joost-Pieter2, Kovács, Laura1
Source: Formal Methods in System Design; Aug2022, Vol. 61 Issue 1, p90-109, 20p
Database: Applied Science & Technology Source
Description
ISSN:09259856
DOI:10.1007/s10703-023-00424-z