Dec 192013
 

Procrustes

:: DESCRIPTION

Procrustes is a pattern-based property editor that enables the translation of each pattern into a temporal logic formula (currently CTL, CTRL and mu-calculus are supported).

::DEVELOPER

Procrustes team

:: SCREENSHOTS

Procrustes

:: REQUIREMENTS

  • Windows/MacOsx/Linux
  • Java

:: DOWNLOAD

 Procrustes

:: MORE INFORMATION

Citation

P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas and H. de Jong (2008),
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks,
Bioinformatics, 24(16) : i227-i233

22 views

Sorry, the comment form is closed at this time.