Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- É. Jaeger, Th. Hardin : “Yet Another Deep Embedding of B:Extending de Bruijn Notations”, [Jaeger 2009]
- L. Tran : “Etat de l'art sur les modèles dits "de workflow"”, [Tran 2009]