|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks |
Banks, Richard |
2009 |
227 | C |
p. 3-19 17 p. |
artikel |
|
| 2 | An Abstract Machine for the Stochastic Bioambient calculus |
Phillips, Andrew |
2009 |
227 | C |
p. 143-159 17 p. |
artikel |
|
| 3 | Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins |
Mazza, Tommaso |
2009 |
227 | C |
p. 127-141 15 p. |
artikel |
|
| 4 | Control Flow Analysis for Brane Calculi |
Bodei, Chiara |
2009 |
227 | C |
p. 59-75 17 p. |
artikel |
|
| 5 | External Control in Process Algebra for Systems Biology |
Del Tedesco, Filippo |
2009 |
227 | C |
p. 161-177 17 p. |
artikel |
|
| 6 | Modelling Biological Compartments in Bio-PEPA |
Ciocchetta, Federica |
2009 |
227 | C |
p. 77-95 19 p. |
artikel |
|
| 7 | Preface |
Ciobanu, Gabriel |
2009 |
227 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Reachability Analysis in BioAmbients |
Zavattaro, Gianluigi |
2009 |
227 | C |
p. 179-193 15 p. |
artikel |
|
| 9 | Testing Non-deterministic Stream X-machine Models and P systems |
Ipate, Florentin |
2009 |
227 | C |
p. 113-126 14 p. |
artikel |
|
| 10 | Timed P Automata |
Barbuti, Roberto |
2009 |
227 | C |
p. 21-36 16 p. |
artikel |
|
| 11 | Translating Stochastic CLS into Maude |
Basuki, Thomas Anung |
2009 |
227 | C |
p. 37-58 22 p. |
artikel |
|
| 12 | Type Disciplines for Analysing Biologically Relevant Properties |
Aman, Bogdan |
2009 |
227 | C |
p. 97-111 15 p. |
artikel |
12 gevonden resultaten