Personal tools
Views
Toolbox

Language reference/PBES

From MCRL2

Jump to: navigation, search
PBES

Contents

This page is under construction.

The BNF syntax description of PBESs can be found on its own page.


prev.gif Modal formulas Syntax definition next.gif
Retrieved from "http://www.mcrl2.org/mcrl2/wiki/index.php/Language_reference/PBES"
This page was last modified on 17 July 2008, at 11:09. This page has been accessed 3,121 times.
Copyright © 2005-2012 Technische Universiteit Eindhoven.
Powered by MediaWiki