Rolf Drechsler

1PUBLICATIONS
1CO-AUTHORS
Data structures and algorithms
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jan 16, 2025
Automated polynomial formal verification using generalized binary decision diagram patterns.

Martha Schnieber, Rolf Drechsler

Pageof 1

Frequent Collaborators

1 joint publications

Martha Schnieber