A LOTOS based tutorial on formal methods for object-oriented distributed systems Howard Bowman Invited Paper Pages: 343 - 372
How to realize LSE narrowing Andreas WernerAlexander BockmayrStefan Krischer Regular Papers Pages: 397 - 433