 |
 |
 |
The Bio-PEPA Eclipse Plug-in User Manual |
 |
 |
|
|
|
|
The Bio-PEPA Eclipse Plug-in User Manual |
|
|
|
The implementation of the Bio-PEPA Eclipse Plug-in has been led by Adam Duguid and Allan Clark. The implementation of the invariant inference used in the Bio-PEPA Eclipse Plug-in was contributed by Peter Kemper. Other developers who have contributed code to the Bio-PEPA Eclipse Plug-in include Simon Bartels, Ian Robb and Mirco Tribastone.
Many people have contributed ideas and suggestions for improvements including Federica Ciocchetta, Vashti Galpin, Maria Luisa Guerriero, Stephen Gilmore, Jane Hillston, Laurence Loewe, Mieke Massink and Dimitrios Milios.
This user manual was written by Myrto Avgeri and Stephen Gilmore with help from Allan Clark, Adam Duguid and Dimitrios Milios.
|
|
|
The Bio-PEPA Eclipse Plug-in User Manual |
|
|
|