Implementing Influence Analysis Using Parameterised Boolean Equation Systems.

Mara-del-Mar Gallardo, Christophe Joubert, Pedro Merino

Browse the full ISoLA paper archive.