Travelled to:
1 × USA
Collaborated with:
S.Maoz J.O.Ringert R.Shalom
Talks about:
unsatisfi (1) connector (1) specif (1) compon (1) view (1) whi (1)
Person: Nitzan Pomerantz
DBLP: Pomerantz:Nitzan
Contributed to:
Wrote 1 papers:
- MoDELS-2017-MaozPRS #component #question #satisfiability #specification #why
- Why is My Component and Connector Views Specification Unsatisfiable? (SM, NP, JOR, RS), pp. 134–144.