Next:
piperestrictor
Up:
Verification examples.
Previous:
pipe
Contents
pipe2
Structure: pipe with gate valve. Test objective: geometric unknowns in networks.
guido dhondt 2010-08-01