Cited By
View all- Grigorov LButler BCury JRudie K(2011)Conceptual Design of Discrete-Event Systems Using TemplatesDiscrete Event Dynamic Systems10.1007/s10626-010-0089-021:2(257-303)Online publication date: 1-Jun-2011
- 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
- Ashley JHolloway L(2005)An Equivalent CTL Formulation for Condition SequencesDiscrete Event Dynamic Systems10.1007/s10626-005-4056-015:4(333-348)Online publication date: 1-Dec-2005
- Show More Cited By