Solving parameterised Boolean equation systems with infinite data through quotienting

    Onderzoeksoutput: Boek/rapportRapportAcademic

    115 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's24
    StatusGepubliceerd - 2018

    Publicatie series

    NaamComputer science reports
    Volume18-03

    Citeer dit