%0 Conference Paper %1 conf/rsp/MalikRPD97 %A Malik, Nadeem %A Roberts, Steven %A Pita, Alan %A Dobson, Ryan %B IEEE International Workshop on Rapid System Prototyping %D 1997 %I IEEE Computer Society %K dblp %P 168-172 %T Automaton: an autonomous coverage-based multiprocessor system verification environment. %U http://dblp.uni-trier.de/db/conf/rsp/rsp1997.html#MalikRPD97 %@ 0-8186-8064-4

@inproceedings{conf/rsp/MalikRPD97, added-at = {2023-05-13T00:00:00.000+0200}, author = {Malik, Nadeem and Roberts, Steven and Pita, Alan and Dobson, Ryan}, biburl = {https://www.bibsonomy.org/bibtex/289fcc358268aee16b4dbb4c9ef984406/dblp}, booktitle = {IEEE International Workshop on Rapid System Prototyping}, crossref = {conf/rsp/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/IWRSP.1997.618893}, interhash = {eedbc0008c74406c1d3d53b8841286b3}, intrahash = {89fcc358268aee16b4dbb4c9ef984406}, isbn = {0-8186-8064-4}, keywords = {dblp}, pages = {168-172}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:54:23.000+0200}, title = {Automaton: an autonomous coverage-based multiprocessor system verification environment.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp1997.html#MalikRPD97}, year = 1997 }