Edelweis Helena Ache Garcez

According to our database¹, Edelweis Helena Ache Garcez authored at least 3 papers between 1998 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

A coverification framework.

[BibT_eX]

[DOI]

PhD thesis, 1999

1998

CVF ¾ Coverification Framework.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual Symposium on Integrated Circuits Design, 1998

A Model Checker for a Partial Order based Model of Concurrency.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998