Cited By
View all- Iordache MAntsaklis P(2009)Petri nets and programmingProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703154(4994-4999)Online publication date: 10-Jun-2009
- Das DChakrabarti PKumar R(2009)Scenario-based timing verification of multiprocessor embedded applicationsACM Transactions on Design Automation of Electronic Systems10.1145/1529255.152925914:3(1-58)Online publication date: 4-Jun-2009
- Aalto AHusberg NVarpaaniemi K(2003)Automatic formal model generation and analysis of SDLProceedings of the 11th international conference on System design10.5555/1760667.1760690(285-299)Online publication date: 1-Jul-2003