Integrating system descriptions by clocked guarded actions.

Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin

Browse the full FDL paper archive.