Difference between revisions of "Qualitative Probability User Guide"

From Event-B
Jump to navigationJump to search
imported>Son
m (New page: Responsible by Son)
 
imported>Son
m
Line 1: Line 1:
Responsible by Son
+
[[User:Son]] at '''ETH Zurich''' is in charge of the [[Qualitative Probability]] plug-in.
 +
{{TOCright}}
 +
 
 +
== Introduction ==
 +
 
 +
 
 +
 
 +
== Installing and Updating ==
 +
=== Setup ===

Revision as of 11:05, 23 November 2011

User:Son at ETH Zurich is in charge of the Qualitative Probability plug-in.

Introduction

Installing and Updating

Setup