and Drastic Product logics.

Stefano Aguzzoli Matteo Bianchi Brunella Gerla Diego Valota

Published in: Int. J. Approx. Reason. (2019)

Keyphrases

expressive power
modal logic
life cycle
long tail
machine learning
product design
product line
database
product development