Formal Methods in System Design
Formal Methods in System Design > 2009 > 35 > 1 > 73-97
Formal Methods in System Design > 2009 > 35 > 1 > 98-120
Formal Methods in System Design > 2009 > 35 > 1 > 56-72
Formal Methods in System Design > 2009 > 35 > 1 > 40-55
Formal Methods in System Design > 2009 > 35 > 1 > 2-3
Formal Methods in System Design > 2009 > 35 > 1 > 6-39
Formal Methods in System Design > 2009 > 35 > 2 > 190-225
Formal Methods in System Design > 2009 > 35 > 2 > 121-151
Formal Methods in System Design > 2009 > 35 > 2 > 152-189
Formal Methods in System Design > 2009 > 35 > 3 > 279-323
Formal Methods in System Design > 2009 > 35 > 3 > 389-401
Formal Methods in System Design > 2009 > 35 > 3 > 369-387
Formal Methods in System Design > 2009 > 35 > 3 > 265-278
Formal Methods in System Design > 2009 > 35 > 3 > 229-264
Formal Methods in System Design > 2009 > 35 > 3 > 325-367