Article,

Modal transition system encoding of featured transition systems.

, , , , and .
J. Log. Algebraic Methods Program., (2019)

Meta data

Tags

Users

  • @dblp

Comments and Reviews