AspectLTL was created by [http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://ysaar.net/ Yaniv Sa'ar]. It is first presented in the paper: S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11. To appear. | AspectLTL was created by [http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://ysaar.net/ Yaniv Sa'ar]. It is first presented in the paper: S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications", AOSD'11. To appear. |