A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline.

Hashem Hashemi Najaf-abadi

Browse the full ASPDAC paper archive.