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
Be the first to leave a comment!
You must be logged in first