Steve Easterbrook
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 |
|---|---|---|
| Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach Transactions on Aspect-Oriented Software Development III | 2009-06-26 | Paper |
| Data structures for symbolic multi-valued model-checking Formal Methods in System Design | 2007-01-24 | Paper |
| Efficient multiple-valued model-checking using lattice representations Lecture Notes in Computer Science | 2003-02-03 | Paper |
| Implementing a multi-valued symbolic model checker Lecture Notes in Computer Science | 2002-02-05 | Paper |
| Model-checking over multi-valued logics Lecture Notes in Computer Science | 2002-01-22 | Paper |
Research outcomes over time
This page was built for person: Steve Easterbrook
