Cited By
View all- Lafortune SWang YReveliotis S(2013)Eliminating concurrency bugs in multithreaded softwareProceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency10.1007/978-3-642-38697-8_2(21-28)Online publication date: 24-Jun-2013
- Lu MZhao H(2012)Modeling and analysis of the business process of the supply chain of virtual enterprisesTransactions on Edutainment VIII10.5555/2363273.2363297(241-249)Online publication date: 1-Jan-2012
- 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
- Show More Cited By