Chris George
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Model checking RAISE applicative specifications Formal Aspects of Computing | 2014-11-11 | Paper |
| Model Checking LTL Formulae in RAISE with FDR Lecture Notes in Computer Science | 2009-02-24 | Paper |
| Applicative Modelling with RAISE Lecture Notes in Computer Science | 2008-09-16 | Paper |
| scientific article; zbMATH DE number 2172805 (Why is no real title available?) | 2006-06-02 | Paper |
| scientific article; zbMATH DE number 1860629 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 795680 (Why is no real title available?) | 1995-09-12 | Paper |
| scientific article; zbMATH DE number 795688 (Why is no real title available?) | 1995-09-12 | Paper |
| The NDB database specified in the RAISE specification language Formal Aspects of Computing | 1992-06-28 | Paper |
Research outcomes over time
This page was built for person: Chris George
