Instantiation for Parameterised Boolean Equation Systems

From MaRDI portal
Publication:5505619