%0 Conference Paper %1 conf/tacas/HuangZGM19 %A Huang, Bo-Yuan %A Zhang, Hongce %A Gupta, Aarti %A Malik, Sharad %B TACAS (1) %D 2019 %E Vojnar, Tomás %E Zhang, Lijun %I Springer %K dblp %P 351-357 %T ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#HuangZGM19 %V 11427 %@ 978-3-030-17462-0

@inproceedings{conf/tacas/HuangZGM19, added-at = {2022-10-02T00:00:00.000+0200}, author = {Huang, Bo-Yuan and Zhang, Hongce and Gupta, Aarti and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/2139e9e1349a4838b29c31c6c1a94b586/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2019-1}, editor = {Vojnar, Tomás and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-030-17462-0_21}, interhash = {a13d4a7ebd82712211005051aafb4c79}, intrahash = {139e9e1349a4838b29c31c6c1a94b586}, isbn = {978-3-030-17462-0}, keywords = {dblp}, pages = {351-357}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:35:27.000+0200}, title = {ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#HuangZGM19}, volume = 11427, year = 2019 }