EOEcient Diagnostic Generation for Boolean Equation Systems (2000) [1 citations — 1 self]

Popular Tags

No tags have been applied to this document.

Add a tag:

BibTeX | Add To MetaCart

@INPROCEEDINGS{Mateescu00eoecientdiagnostic,
    author = {Radu Mateescu and Radu Mateescu and Projet Vasy},
    title = {EOEcient Diagnostic Generation for Boolean Equation Systems},
    booktitle = {In Proceedings of 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000},
    year = {2000},
    publisher = {Springer Verlag}
}