Quantifier Elimination for Queues

Speaker(s) Christian Straßer
Date 17 March 2006
Place Basel, Switzerland
Occasion 10th Rhine Workshop for Computer Algebra
Category Contributed