Bisimulation Minimisations for Boolean Equation Systems. Keiren, J. J. A. & Willemse, T. A. C. Technical Report CSR09-17, Technische Universiteit Eindhoven, 2009. bibtex @techreport{bisimulation_2009report,
title = {Bisimulation Minimisations for Boolean Equation Systems},
number = {CSR09-17},
institution = {Technische Universiteit Eindhoven},
author = {Keiren, J. J. A. and Willemse, T. A. C.},
year = {2009}
}
% 2008
Downloads: 0
{"_id":"LFNowgFQMvLtrujau","bibbaseid":"keiren-willemse-bisimulationminimisationsforbooleanequationsystems-2009","downloads":0,"creationDate":"2016-03-01T09:16:34.071Z","title":"Bisimulation Minimisations for Boolean Equation Systems","author_short":["Keiren, J. J. A.","Willemse, T. A. C."],"year":2009,"bibtype":"techreport","biburl":"http://www.jeroenkeiren.nl/publications.bib","bibdata":{"bibtype":"techreport","type":"techreport","title":"Bisimulation Minimisations for Boolean Equation Systems","number":"CSR09-17","institution":"Technische Universiteit Eindhoven","author":[{"propositions":[],"lastnames":["Keiren"],"firstnames":["J.","J.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Willemse"],"firstnames":["T.","A.","C."],"suffixes":[]}],"year":"2009","bibtex":"@techreport{bisimulation_2009report,\n title = {Bisimulation Minimisations for Boolean Equation Systems},\n number = {CSR09-17},\n institution = {Technische Universiteit Eindhoven},\n author = {Keiren, J. J. A. and Willemse, T. A. C.},\n year = {2009}\n}\n\n% 2008\n","author_short":["Keiren, J. J. A.","Willemse, T. A. C."],"key":"bisimulation_2009report","id":"bisimulation_2009report","bibbaseid":"keiren-willemse-bisimulationminimisationsforbooleanequationsystems-2009","role":"author","urls":{},"downloads":0},"search_terms":["bisimulation","minimisations","boolean","equation","systems","keiren","willemse"],"keywords":[],"authorIDs":[],"dataSources":["K2qm3yztsCi4bCsrA"]}