GTPN

The GTPN analyzer: numerical methods and user interface.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Hansson, Hans; Jonsson, Bengt: A logic for reasoning about time and reliability (1994)