author : Marc Frappier

Short works

• Proving ordering properties for information systems. 2003. (In ZB 2003 )