Tuning SAT for Formal Verification and Testing

Простая страница элемента
dc.creatorVelev,Miroslav
dc.date2004
dc.date.accessioned2024-02-06T12:53:16Z
dc.date.available2024-02-06T12:53:16Z
dc.description
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-010-12
dc.identifierhttps://lib.jucs.org/article/28322/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8662
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 10(12): 1559-1561
dc.titleTuning SAT for Formal Verification and Testing
dc.typeEditorial
Файлы
Коллекции