H. T. de Beer
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2005 | ||
|---|---|---|
| 1 | Process Mining and Verification of Properties: An Approach Based on Temporal Logic. Wil M. P. van der Aalst, H. T. de Beer, Boudewijn F. van Dongen. OTM Conferences (1) 2005, 130-147. Web SearchBibTeXDownload | |
from DBLP and Google Scholar