Cited By
View all- Collé FChampagnat RPrigent ALee N(2005)Scenario analysis based on linear logicProceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology10.1145/1178477.1178583(1-es)Online publication date: 15-Jun-2005
- Chatain TJard C(2005)Time supervision of concurrent systems using symbolic unfoldings of time petri netsProceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems10.1007/11603009_16(196-210)Online publication date: 26-Sep-2005
- Mao XCardoso JValette R(2005)A new graph of classes for the preservation of quantitative temporal constraintsProceedings of the Third international conference on Automated Technology for Verification and Analysis10.1007/11562948_22(278-292)Online publication date: 4-Oct-2005