70328861

a

70328861 Manohar, Rajit Lee, Tak-Kwan Martin, Alain J. Projection: A synthesis technique for concurrent systems ASYNC, 125-134 (1999). 1999 EN

http://doi.ieeecomputersociety.org/10.1109/ASYNC.1999.761528