%0 Conference Paper %1 conf/sbcci/BorrioneHPS08 %A Borrione, Dominique %A Helmy, Amr %A Pierre, Laurence %A Schmaltz, Julien %B SBCCI %D 2008 %E Lubaszewski, Marcelo %E Renovell, Michel %E Gupta, Rajesh K. %I ACM %K dblp %P 176-181 %T Executable formal specification and validation of NoC communication infrastructures. %U http://dblp.uni-trier.de/db/conf/sbcci/sbcci2008.html#BorrioneHPS08 %@ 978-1-60558-231-3

@inproceedings{conf/sbcci/BorrioneHPS08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Borrione, Dominique and Helmy, Amr and Pierre, Laurence and Schmaltz, Julien}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b40c6826e7f970e22e592f6503146d58/dblp}, booktitle = {SBCCI}, crossref = {conf/sbcci/2008}, editor = {Lubaszewski, Marcelo and Renovell, Michel and Gupta, Rajesh K.}, ee = {https://doi.org/10.1145/1404371.1404421}, interhash = {8f19fdf290e84bb5f1048708a87a1007}, intrahash = {b40c6826e7f970e22e592f6503146d58}, isbn = {978-1-60558-231-3}, keywords = {dblp}, pages = {176-181}, publisher = {ACM}, timestamp = {2019-09-27T20:13:19.000+0200}, title = {Executable formal specification and validation of NoC communication infrastructures.}, url = {http://dblp.uni-trier.de/db/conf/sbcci/sbcci2008.html#BorrioneHPS08}, year = 2008 }