( en | de | ru )

 

Disambiguierung von "Shankland, Carron"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combating Infinite State Using Ergo.

, und . FORTE, Volume 2767 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Carron Claire Elizabeth Johnson

 

Weitere Publikationen von Autoren mit dem selben Namen

Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra., , , und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2012)Implementing a Modal Logic over Data and Processes using XTL., und . FORTE, Volume 197 von IFIP Conference Proceedings, Seite 201-218. Kluwer, (2001)Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge., , und . AAAI, Seite 676-681. AAAI Press / The MIT Press, (2005)Symbolic Bisimulation for Full LOTOS., und . AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 479-493. Springer, (1997)Combating Infinite State Using Ergo., und . FORTE, Volume 2767 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2003)Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach., , , , , , und . CMSB, Volume 7605 von Lecture Notes in Computer Science, Seite 227-246. Springer, (2012)Optimisation of process algebra models using evolutionary computation., , und . IEEE Congress on Evolutionary Computation, Seite 1296-1301. IEEE, (2011)Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease., und . EUROCAST, Volume 2809 von Lecture Notes in Computer Science, Seite 404-414. Springer, (2003)Process Algebra Models of Population Dynamics., , und . AB, Volume 5147 von Lecture Notes in Computer Science, Seite 139-155. Springer, (2008)Process Algebra with Layers: Multi-scale Integration Modelling Applied to Cancer Therapy., , , , und . CIBB, Volume 10477 von Lecture Notes in Computer Science, Seite 118-133. Springer, (2016)