Concepedia

Integrating system descriptions by clocked guarded actions

� Brandt, Gemunde, Schneider, Shukla, Talpin

2011 · 14 citations · 0 references

Concepts