Algorithms for the verification of synchronous systems

Research output: Thesis › PhD Thesis - Research UT, graduation UT

78 Downloads (Pure)

Original language	English
Awarding Institution	University of Twente
Supervisors/Advisors	Herrmann, O.E., Supervisor Krol, Th., Advisor
Award date	1 Jun 1995
Place of Publication	Enschede, the Netherlands
Publisher	Universiteit Twente
Print ISBNs	90-9008385-5
Publication status	Published - 1 Jun 1995

Keywords

@phdthesis{5e7789d53b1c4a1590b1179b0759fbdb,

title = "Algorithms for the verification of synchronous systems",

keywords = "Synchronous systems, Verification, Boolean algebras, Algorithms",

author = "{van Beijnum}, {Bernhard Johannes Frederik}",

year = "1995",

month = jun,

day = "1",

language = "English",

isbn = "90-9008385-5",

publisher = "Universiteit Twente",

school = "University of Twente",

}