Search Results - Garavel, H.

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    State space reduction for process algebra specifications

    State space reduction for process algebra specifications by Garavel, Hubert, Serwe, Wendelin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    TACAS 2003 Special Issue—Preface

    TACAS 2003 Special Issue—Preface by Garavel, Hubert, Hatcliff, John

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures

    Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures by Coste, N., Hermanns, H., Thonnart, Y., Garavel, H., Hersemeule, R., Zidouni, M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    A toolbox for the verification of LOTOS programs

    A toolbox for the verification of LOTOS programs by Fernandez, Jean-Claude, Garavel, Hubert, Mounier, Laurent, Rasse, Anne, Rodriguez, Carlos, Sifakis, Joseph

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Specification and verification of various distributed leader election algorithms for unidirectional ring networks

    Specification and verification of various distributed leader election algorithms for unidirectional ring networks by Garavel, Hubert, Mounier, Laurent

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Process Development for the Synthesis of BI 1702135: A Concise Design Enabled by Selective Acylation of a 2‑Aminobenzimidazole Intermediate

    Process Development for the Synthesis of BI 1702135: A Concise Design Enabled by Selective Acylation of a 2‑Aminobenzimidazole Intermediate by Wu, Jiang-Ping, Dong, Wei-Tong, Chen, Chengsheng, Sienkiewicz, Alexander, Beyer, Phouvieng, Wang, Jun, Haddad, Nizar, Lorenz, Jon C., Reeves, Jonathan T., Bunner, Matthew H., Gonnella, Nina C., Weinstabl, Harald, Garavel, Géraldine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Formal Methods in Industry

    Formal Methods in Industry by ter Beek, Maurice H., Chapman, Rod, Cleaveland, Rance, Garavel, Hubert, Gu, Rong, ter Horst, Ivo, Keiren, Jeroen J. A., Lecomte, Thierry, Leuschel, Michael, Rozier, Kristin Yvonne, Sampaio, Augusto, Seceleanu, Cristina, Thomas, Martyn, Willemse, Tim A. C., Zhang, Lijun

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Les Paysans de Morette

    Les Paysans de Morette by Whetham, Edith H.

    Get full text
    Review
    Save to List
    Saved in:

Search Tools: