TY  - BOOK
AU  - Gelenbe, Erol
AU  - Kahane, Jean - Pierre
TI  - Fundamental concepts in computer science
SN  - 978-1-84816-290-7
U1  - 005.133 
PY  - 2009///
CY  - London
PB  - Imperial college press
KW  - The call to ARMs
KW  - Carl Adam petri and "Petri Nets"
KW  - Assertions
ER  -