Jeff Bastian, Soner Önder. Specification of Intel IA-32 Using an Architecture Description Language. In Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, François Vernadat, editors, Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France. Volume 176 of IFIP, pages 151-166, Springer, 2004. [doi]
@inproceedings{BastianO04, title = {Specification of Intel IA-32 Using an Architecture Description Language}, author = {Jeff Bastian and Soner Önder}, year = {2004}, doi = {10.1007/0-387-24590-1_10}, url = {http://dx.doi.org/10.1007/0-387-24590-1_10}, researchr = {https://researchr.org/publication/BastianO04}, cites = {0}, citedby = {0}, pages = {151-166}, booktitle = {Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France}, editor = {Pierre Dissaux and Mamoun Filali-Amine and Pierre Michel and François Vernadat}, volume = {176}, series = {IFIP}, publisher = {Springer}, isbn = {978-0-387-24589-8}, }