Formal Methods in System Design
Formal Methods in System Design > 1997 > 10 > 1 > 73-92
Formal Methods in System Design > 1997 > 10 > 1 > 93-125
Formal Methods in System Design > 1997 > 10 > 1 > 7-46
Formal Methods in System Design > 1997 > 10 > 1 > 47-71
Formal Methods in System Design > 1997 > 10 > 2-3 > 243-270
Formal Methods in System Design > 1997 > 10 > 2-3 > 149-169
Formal Methods in System Design > 1997 > 10 > 2-3 > 207-219
Formal Methods in System Design > 1997 > 10 > 2-3 > 171-206
Formal Methods in System Design > 1997 > 10 > 2-3 > 137-148
Formal Methods in System Design > 1997 > 10 > 2-3 > 221-242
Formal Methods in System Design > 1997 > 11 > 1 > 23-40
Formal Methods in System Design > 1997 > 11 > 1 > 71-104
Formal Methods in System Design > 1997 > 11 > 1 > 5-21
Formal Methods in System Design > 1997 > 11 > 1 > 41-70
Formal Methods in System Design > 1997 > 11 > 2 > 187-215
Formal Methods in System Design > 1997 > 11 > 2 > 113-136
Formal Methods in System Design > 1997 > 11 > 2 > 157-185