"A Verified Protocol to Implement Multi-way Synchronisation and ..."

Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock (2013)

Details and statistics

DOI: 10.1007/978-3-642-40561-7_4

access: closed

type: Conference or Workshop Paper

metadata version: 2023-09-30