Previous
Next
Journal
- international journal on software tools for technology transfer2
- 2013 international symposium on theoretical aspects of software engineering1
- 2014 european control conference (ecc)1
- 2014 ieee international conference on web services1
- 2016 ieee 55th conference on decision & control (cdc)1
- acm international conference proceeding series1
- automated technology for verification & analysis (9783642047602)1
- autonomous agents & multi-agent systems1
- computational intelligence & neuroscience1