Home › Publications

Publications

Export 1 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Keyword is linear temporal logic  [Clear All Filters]
2013
Meyers, B, Wimmer M, Vangheluwe H, Denil J.  2013.  
Towards Domain-specific Property Languages: The ProMoBox Approach.
Proceedings of the 2013 ACM Workshop on Domain-specific Modeling. :39–44. Abstract