Error: Motivationhybridizationbisimulationrenementspecicationrenementconclusionsgoinggeneric ...specicproblemsrequirespecic(local)logics:equational - PowerPoint Presentations and PDF Documents