%0 Conference Paper %1 conf/IEEEicci/JeronimoCG18 %A Jeronimo, Alba J. %A Piñeres, Manuel Fernando Caro %A Gomez, Adan A. %B ICCI*CC %D 2018 %E Wang, Yingxu %E Kwong, Sam %E Feldman, Jerome %E Howard, Newton %E Sheu, Phillip C.-Y. %E Widrow, Bernard %I IEEE Computer Society %K dblp %P 614-619 %T Formal Specification of Cognitive Models in CARINA. %U http://dblp.uni-trier.de/db/conf/IEEEicci/IEEEicci2018.html#JeronimoCG18 %@ 978-1-5386-3360-1

@inproceedings{conf/IEEEicci/JeronimoCG18, added-at = {2023-03-23T00:00:00.000+0100}, author = {Jeronimo, Alba J. and Piñeres, Manuel Fernando Caro and Gomez, Adan A.}, biburl = {https://www.bibsonomy.org/bibtex/29143557f06e576ce794ad148b3a91b61/dblp}, booktitle = {ICCI*CC}, crossref = {conf/IEEEicci/2018}, editor = {Wang, Yingxu and Kwong, Sam and Feldman, Jerome and Howard, Newton and Sheu, Phillip C.-Y. and Widrow, Bernard}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCI-CC.2018.8482062}, interhash = {18fb2b5328bd5156de039c739ecf9514}, intrahash = {9143557f06e576ce794ad148b3a91b61}, isbn = {978-1-5386-3360-1}, keywords = {dblp}, pages = {614-619}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T10:18:06.000+0200}, title = {Formal Specification of Cognitive Models in CARINA.}, url = {http://dblp.uni-trier.de/db/conf/IEEEicci/IEEEicci2018.html#JeronimoCG18}, year = 2018 }