Citation Impact
Citing Papers
Lessons from using basic LOTOS
1994
An open graph visualization system and its applications to software engineering
2000 Standout
Works of Bernard Stépien being referenced
Formal specification of telephone systems in LOTOS: the constraint-oriented style approach
1991