Advanced search
 Log In
New Account 		  
 
Home My Page Project Tree Signature-based Bisimulation Computation
 
 
Summary Tracker Lists Tasks SCM Files
 

Sigref provides a generic algorithm for the symbolic computation of bisimulations on transition systems.


  • DFG TransRegio/SFB AVACS: S3
Registered: 2007-06-28 16:49
Developer Info
Project Admins:
Ralf Wimmer

[View Members]

[Request to join]

 

Latest File Releases
Package Version Date Notes / Monitor Download
sigref1.4 June 29, 2007 Release Notes - Monitor this package Download

Public Areas
Home Page Project Home Page
TrackerTracker

 - Bugs ( 1 open /5 total )
Bug Tracking System

 - Support ( 0 open /0 total )
Tech Support Tracking System

 - Patches ( 0 open /0 total )
Patch Tracking System

 - Feature Requests ( 0 open /0 total )
Feature Request Tracking System

Lists Mailing Lists ( 1 public mailing lists)
Tasks Task Manager
  - To Do
  - Next Release
SCM SCM Repository (SVN: 0 updates, 0 adds)


Powered By GForge Collaborative Development Environment