State minimization of finite state machines using implicit techniques

Techniques for Smaller Intermediary BDDs

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory

Efficient Reachability Set Generation and Storage Using Decision Diagrams

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

Integrating Synchronization with Priority into a Kronecker Representation

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools

The ComBack method: extending hash compaction with backtracking

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency

Algorithms for physical implementation of multiple-valued circuits

SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization

IDD-based model validation of biochemical networks

Theoretical Computer Science