Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen View on Open Library

Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen

by Armin Biere

No reviews yet
First published: 1997 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Computer Aided Verification

Computer Aided Verification

Hardware and Software: Verification and Testing

Hardware and Software: Verification and ...

Theory and applications of satisfiability testing -- SAT 2006

Theory and applications of satisfiabilit...

Digitaltechnik - eine praxisnahe Einfu hrung

Digitaltechnik - eine praxisnahe Einfu h...

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Handbook of Satisfiability ...