Marisa Llorens
From MaRDI portal
Person:418181
Available identifiers
zbMath Open llorens.marisaWikidataQ57417945 ScholiaQ57417945MaRDI QIDQ418181
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 |
|---|---|---|
| Maximal and Minimal Dynamic Petri Net Slicing | 2023-09-14 | Paper |
| Tracking CSP computations | 2018-12-19 | Paper |
| Dynamic Slicing Techniques for Petri Nets | 2015-03-23 | Paper |
| Static slicing of explicitly synchronized languages | 2012-05-24 | Paper |
| Graph Generation to Statically Represent CSP Processes | 2011-05-27 | Paper |
| A Tracking Semantics for CSP | 2010-07-26 | Paper |
| The MEB and CEB Static Analysis for CSP Specifications | 2009-03-24 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
Research outcomes over time
This page was built for person: Marisa Llorens
