Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Using Multi-valued Logics to Model Digital Circuits Problems
2002
AzBa02b
-
In proceedings
Francisco Azevedo, Pedro Barahona
First International Workshop on Constraints in Formal Verification, colocated with CP'02
-
-
Cornell Un., Ithaca, NY, USA
-
-
-
-
-
-
Export formats
Francisco Azevedo and Pedro Barahona, Using Multi-valued Logics to Model Digital Circuits Problems, , First International Workshop on Constraints in Formal Verification, colocated with CP'02, Cornell Un., Ithaca, NY, USA, 2002.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98_amp_cscd=1b28882c6d820b7358c4261799a6548d" class="author">Francisco Azevedo</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=7e27bc13fad97e99cd21ea6914d55659_amp_cscd=1b28882c6d820b7358c4261799a6548d" class="author">Pedro Barahona</a>, <b>Using Multi-valued Logics to Model Digital Circuits Problems</b>, <u>First International Workshop on Constraints in Formal Verification, colocated with CP'02</u>, Cornell Un., Ithaca, NY, USA, 2002.
@inproceedings {AzBa02b, author = {Francisco Azevedo and Pedro Barahona}, title = {Using Multi-valued Logics to Model Digital Circuits Problems}, booktitle = {First International Workshop on Constraints in Formal Verification, colocated with CP'02}, address = {Cornell Un., Ithaca, NY, USA}, year = {2002}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=631f2cefc3995b88b56bab43591ffec9
http://centria.di.fct.unl.pt/publications/view.php?code=AzBa02b
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento