conf.researchr.org / Paul Jackson
Not registered as user yet
Name:Paul Jackson
Contributions
| VMCAI | Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track |
Not registered as user yet
Contributions
| VMCAI | Author of A method for invariant generation for polynomial continuous systems within the VMCAI-track |