%0 Journal Article %1 journals/fmsd/MokkedemHJG00 %A Mokkedem, Abdel %A Hosabettu, Ravi %A Jones, Michael D. %A Gopalakrishnan, Ganesh %D 2000 %J Formal Methods Syst. Des. %K dblp %N 1 %P 93-119 %T Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd16.html#MokkedemHJG00 %V 16

@article{journals/fmsd/MokkedemHJG00, added-at = {2020-03-13T00:00:00.000+0100}, author = {Mokkedem, Abdel and Hosabettu, Ravi and Jones, Michael D. and Gopalakrishnan, Ganesh}, biburl = {https://www.bibsonomy.org/bibtex/25e6ee9f406f784b01fb19af202f7160f/dblp}, ee = {https://doi.org/10.1023/A:1008729625855}, interhash = {93dd6ff9df0a921c4cf8848dc6494629}, intrahash = {5e6ee9f406f784b01fb19af202f7160f}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {93-119}, timestamp = {2020-03-14T11:51:24.000+0100}, title = {Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd16.html#MokkedemHJG00}, volume = 16, year = 2000 }