author-photo

F.P.M. Stappers

4

Papers

2

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Transforming SOS specifications to linear processes

2011 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Transforming SOS specifications to linear processes

2011 Formal Methods for Industrial Critical Systems
Show All
- Source
- Cite
- Save
Citations (2)
Suitability of mCRL2 for concurrent system design: a 2x2 switch case study

2010 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)