On Parallel Software Verification Using Boolean Equation Systems

Ditter, AlexanderAlexanderDitterČeška, MilanMilanČeškaLüttgen, GeraldGeraldLüttgen0000-0002-0925-4870Donaldson, Alastair2019-09-192013-02-142012978-3-642-31758-3https://fis.uni-bamberg.de/handle/uniba/858engOn Parallel Software Verification Using Boolean Equation Systemsconferenceobject10.1007/978-3-642-31759-0_8http://link.springer.com/content/pdf/10.1007%2F978-3-642-31759-0_8