Jean-Michel Couvreur
From MaRDI portal
Person:2766556
Available identifiers
zbMath Open couvreur.jean-michelMaRDI QIDQ2766556
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
On liveness in Extended Non Self-Controlling Nets | 2022-08-16 | Paper |
Branching Processes of General Petri Nets | 2013-04-18 | Paper |
Branching Processes of General Petri Nets | 2011-06-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q3408150 | 2010-02-24 | Paper |
On-the-fly Emptiness Check of Transition-Based Streett Automata | 2009-12-01 | Paper |
Model Checking Software | 2006-11-01 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
Implementation and Application of Automata | 2005-08-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3045255 | 2004-08-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4535793 | 2002-06-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q2766558 | 2002-06-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4493881 | 1999-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Jean-Michel Couvreur