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 |
Speaker(s) | Christian Straßer |
---|---|
Date | 17 March 2006 |
Place | Basel, Switzerland |
Occasion | 10th Rhine Workshop for Computer Algebra |
Category | Contributed |