By Potop-Butucaru Dumitru   Caillaud Benoît   Benveniste Albert   in Formal Methods in System Design

ISSN:0925-9856|28|2|111-130

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 10.289999

By Fabre Eric   Benveniste Albert   Haar Stefan   Jard Claude   in Discrete Event Dynamic Systems

ISSN:0924-6703|15|1|33-84

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 9.354586

By Takai Shigemasa   Ushio Toshimitsu   Fabre Eric   Benveniste Albert   Haar Stefan   Jard Claude   Giua Alessandro   Corona Daniele   Seatzu Carla   in Discrete Event Dynamic Systems

ISSN:0924-6703|15|1|109-112

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 6.54821