Quantitative analysis of interacting systems: foundations and algorithms

Search: ^b

Research/QAIS Web Changed Changed by
BisimulationsInKAT 08 Nov 2013 - 00:51 - r2 RicardoAlmeida
Constructing (Bi)simulations for KAT This page contains the source code of KAT Decider, a project which features the decision of language inclusion/equality between ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM