Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Bisimulation minimisations for Boolean equation systems
J. Keiren
,
T.A.C. Willemse
Formal System Analysis
Research output
:
Book/Report
›
Report
›
Academic
161
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Bisimulation minimisations for Boolean equation systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Boolean Equation
100%
Equation System
100%
Equivalence Checking
11%
Model Checking
11%
Engineering
Bisimulation
100%
Equation System
100%
Prior Process
11%