![]() | ![]() |
| 2012 | ||
|---|---|---|
| 2 | Hsuan Lorraine Liang, Jacques Verriet, Roelof Hamberg, Bruno van Wijngaarden: Graphical Configuration of Agent-Based Warehouse Management and Control Systems. PAAMS 2012: 265-268 | |
| 2008 | ||
| 1 | Roelof Hamberg, Frits W. Vaandrager: Using model checkers in an introductory course on operating systems. Operating Systems Review 42(6): 101-111 (2008) | |
| 1 | Hsuan Lorraine Liang | [2] |
| 2 | Frits W. Vaandrager | [1] |
| 3 | Jacques Verriet | [2] |
| 4 | Bruno van Wijngaarden | [2] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page