Frank Reffel

According to our database¹, Frank Reffel authored at least 5 papers between 1997 and 2001.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2001

Speichereffiziente Modellprüfung mit zyklischen binären Entscheidungsdiagrammen.

[BibT_eX]

[DOI]

PhD thesis, 2001

1999

Error Detection with Directed Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

BDD-Nodes Can Be More Expressive.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1999

1998

OBDDs in Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

1997

Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997