Niels Maretti

According to our database¹, Niels Maretti authored at least 3 papers between 1994 and 1997.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1997

A Comparison of Modular Verification Techniques.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Partial Model Checking with ROBDDs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1994

Mechanized Verification of Refinement.

[BibT_eX]

[DOI]

Proceedings of the Theorem Provers in Circuit Design, 1994