Beek, Maurice H. terMassink, MiekeLatella, DiegoGnesi, Stefania2017-09-142017-09-1420041-58603-422-7enModel Checking Groupware ProtocolsText/Conference Paper