Search Results - Lisser, Bert

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Modular language implementation in Rascal – experience report

    Modular language implementation in Rascal – experience report by Basten, Bas, van den Bos, Jeroen, Hills, Mark, Klint, Paul, Lankamp, Arnold, Lisser, Bert, van der Ploeg, Atze, van der Storm, Tijs, Vinju, Jurgen

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A Database Approach to Distributed State-Space Generation

    A Database Approach to Distributed State-Space Generation by Blom, S., Lisser, B., Van De Pol, J., Weber, M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A Database Approach to Distributed State Space Generation

    A Database Approach to Distributed State Space Generation by Blom, Stefan, Lisser, Bert, van de Pol, Jaco, Weber, Michael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Compressed and Distributed File Formats for Labeled Transition Systems

    Compressed and Distributed File Formats for Labeled Transition Systems by Blom, Stefan, van Langevelde, Izak, Lisser, Bert

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Computer assisted manipulation of algebraic process specifications: Principles, Logics, and Implementations of High-Level Programming Languages (PLI)

    Computer assisted manipulation of algebraic process specifications: Principles, Logics, and Implementations of High-Level Programming Languages (PLI) by GROOTE, Jan Friso, LISSER, Bert

    Published in ACM SIGPLAN notices
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    New developments around the μCRL tool set

    New developments around the μCRL tool set by Blom, Stefan, Groote, Jan Friso, van Langevelde, Izak, Lisser, Bert, van de Pol, Jaco

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl

    New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl by Blom, Stefan, Groote, Jan Friso, van Langevelde, Izak, Lisser, Bert, van de Pol, Jaco

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: