Contains the keyword planner algorithms

Varró D, Varró G, Pataricza A. Visual Graph Transformation in System Verification. In: Gramatova E, Manhaeve H, Pawlak A, editors. DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems. Bratislava, Slovakia; 2000. p. 137-41. Abstract
Syndicate content