| 2007 |
|---|
| 7 | EE | Stefan Blom,
Jens R. Calame,
Bert Lisser,
Simona Orzan,
Jun Pang,
Jaco van de Pol,
Muhammad Torabi Dashti,
Anton Wijs:
Distributed Analysis with mu CRL: A Compendium of Case Studies.
TACAS 2007: 683-689 |
| 2006 |
|---|
| 6 | EE | Anton Wijs,
Bert Lisser:
Distributed Extended Beam Search for Quantitative Model Checking.
MoChArt 2006: 166-184 |
| 2003 |
|---|
| 5 | EE | Stefan Blom,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
New developments around the mCRL tool set.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 4 | EE | Stefan Blom,
Izak van Langevelde,
Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
| 2002 |
|---|
| 3 | EE | Jan Friso Groote,
Bert Lisser:
Computer assisted manipulation of algebraic process specifications.
SIGPLAN Notices 37(12): 98-107 (2002) |
| 2001 |
|---|
| 2 | EE | Stefan Blom,
Wan Fokkink,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
µCRL: A Toolset for Analysing Algebraic Specifications.
CAV 2001: 250-254 |
| 1999 |
|---|
| 1 | EE | C. T. H. Everaars,
Bert Lisser:
Coordination of a Parallel Proposition Solver.
COORDINATION 1999: 275-290 |
