Vol-2094⫷ Vol-2095 ⫸Vol-2096
urn:nbn:de:0074-2095-0


Vol-2095/paper5⫷Vol-2095/paper6⫸Vol-2095/arqnl2018_complete_proceedings
Wieger WesselinkTim A. C. Willemse

Evidence Extraction from Parameterised Boolean Equation Systems