Lisbeth Fajstrup
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1998–2012
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ESOP | Trace Spaces: An Efficient New Technique for State-Space Reduction. | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Rauen |
| 1998 | CONCUR | Detecting Deadlocks in Concurrent Systems. | Lisbeth Fajstrup, Eric Goubault, Martin Rauen |