"Automatic generation of executable communication specifications from ..."

Xing Wu, Frank Mueller, Scott Pakin (2011)

Details and statistics

DOI: 10.1145/1995896.1995901

access: closed

type: Conference or Workshop Paper

metadata version: 2022-04-05