Difference between revisions of "MBT Reading Group"

From CERES
Jump to: navigation, search
Line 10: Line 10:
 
* [http://ieeexplore.ieee.org/document/5119/?arnumber=5119 A Modal Process Logic]
 
* [http://ieeexplore.ieee.org/document/5119/?arnumber=5119 A Modal Process Logic]
 
* [http://link.springer.com/chapter/10.1007/978-3-642-24372-1_20 Parametric Modal Transition Systems]
 
* [http://link.springer.com/chapter/10.1007/978-3-642-24372-1_20 Parametric Modal Transition Systems]
 +
* [https://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2017-VaMoS-Lity.pdf Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-Line Analysis]
  
 
== Previous Papers ==
 
== Previous Papers ==

Revision as of 11:16, 18 January 2017

Current Papers

Upcoming Papers

Previous Papers