Petri Nets Applications, ISBN: 978-953-307-047-6

Transfer-Resource Graph and Petri-net for System-on-Chip Verification

By Xiaoxi Xu and Cheng-Chew Lim

DOI: 10.5772/7517

Download as PDF

May 25, 2012 | ICRA 12 - The Novel Robots Generation
May 16, 2012 | International AIDS Vaccine Day - Pushing Towards Advancing Research Efforts in the Field
May 11, 2012 | InTech Sponsors Champion Volleyball Team
May 07, 2012 | InTech Sponsors ICRA 2012
Apr 26, 2012 | InTech Attends Symposium on Neuroprotection and Neurorepair
Apr 23, 2012 | InTech's Books Donated to Central Library of the Autonomous University of Baja California
Apr 20, 2012 | International Journal of Engineering Business Management Enters Scopus
Apr 18, 2012 | Exosomics Journal Editor-in-Chief to Attend ISEV 2012
Apr 17, 2012 | Haemophilia: the Bleeding Gene
Apr 12, 2012 | International Day of Human Spaceflight: Introducing the Humans vs. Robots Galactic Battleship