%0 Journal Article %1 journals/ijes/TrindadeDJISC17 %A Trindade, Alessandro Bezerra %A Degelo, Renato De Faria %A Junior, Edilson Galvão Dos Santos %A Ismail, Hussama Ibrahim %A Silva, Helder Cruz Da %A Cordeiro, Lucas Carvalho %D 2017 %J Int. J. Embed. Syst. %K dblp %N 6 %P 570-582 %T Multi-core model checking and maximum satisfiability applied to hardware-software partitioning. %U http://dblp.uni-trier.de/db/journals/ijes/ijes9.html#TrindadeDJISC17 %V 9

@article{journals/ijes/TrindadeDJISC17, added-at = {2020-09-11T00:00:00.000+0200}, author = {Trindade, Alessandro Bezerra and Degelo, Renato De Faria and Junior, Edilson Galvão Dos Santos and Ismail, Hussama Ibrahim and Silva, Helder Cruz Da and Cordeiro, Lucas Carvalho}, biburl = {https://www.bibsonomy.org/bibtex/230a1c6c0c885d64fa12e0b0cd193a42f/dblp}, ee = {https://doi.org/10.1504/IJES.2017.10008947}, interhash = {873d772ad75dd28ec778ab1e9c50aeb2}, intrahash = {30a1c6c0c885d64fa12e0b0cd193a42f}, journal = {Int. J. Embed. Syst.}, keywords = {dblp}, number = 6, pages = {570-582}, timestamp = {2020-09-12T11:36:11.000+0200}, title = {Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.}, url = {http://dblp.uni-trier.de/db/journals/ijes/ijes9.html#TrindadeDJISC17}, volume = 9, year = 2017 }