Specification of Intel IA-32 Using an Architecture Description Language

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},
}