E-LIB Suche - Ergebnisse für: De Groote, P.

1

Robot-Assisted Surgery:

, In: Urologic Surgery in the Digital Era,

Umari, P. ; Mazzone, E. ; De Groote, R... - p. 129-158 , 2021

Link: https://doi.org/10.1007/..

2

Contributors:

, In: Plant Biotechnology and Agriculture,

Altman, Arie ; Baumann, Ute ; Beckles, Diane M.... - p. xxi-xxiii , 2012

Link: https://doi.org/10.1016/..

3

An Autonomous Data Language:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Franken, Tom T. P. ; Neele, Thomas ; Groote, Jan Friso - p. 158-177 , 2023

Link: https://doi.org/10.1007/..

4

Minimisation of Spatial Models Using Branching Bisimilarity:

, In: Formal Methods; Lecture Notes in Computer Science,

Ciancia, Vincenzo ; Groote, Jan Friso ; Latella, Diego.. - p. 263-281 , 2023

Link: https://doi.org/10.1007/..

5

Using the Parallel ATerm Library for Parallel Model Checkin..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Groote, Jan Friso ; Jilissen, Kevin H. J. ; Laveaux, Maurice.. - p. 306-320 , 2022

Link: https://doi.org/10.1007/..

6

A Thread-Safe Term Library: (with a New Fast Mutual Exclusi..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Groote, Jan Friso ; Laveaux, Maurice ; van Spaendonck, P. H. M. - p. 422-459 , 2022

Link: https://doi.org/10.1007/..

7

Modelling and Analysing Software in mCRL2:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Groote, Jan Friso ; Keiren, Jeroen J. A. ; Luttik, Bas.. - p. 25-48 , 2020

Link: https://doi.org/10.1007/..

8

An Axiomatization of Strong Distribution Bisimulation for a..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Groote, Jan Friso ; de Vink, Erik P. - p. 449-463 , 2019

Link: https://doi.org/10.1007/..

9

The mCRL2 Toolset for Analysing Concurrent Systems: Improve..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bunte, Olav ; Groote, Jan Friso ; Keiren, Jeroen J. A.... - p. 21-39 , 2019

Link: https://doi.org/10.1007/..

10

A Complete Axiomatization of Branching Bisimilarity for a S..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

van Glabbeek, Rob J. ; Groote, Jan Friso ; de Vink, Erik P. - p. 139-162 , 2019

Link: https://doi.org/10.1007/..

11

Recent Advances in the Separation and Analysis of Diazo-Pos..:

, In: Methods of Biochemical Analysis,

Heirwegh, K. P. M. ; Fevery, J. ; Meuwissen, J. A. T. P.... - p. 205-250 , 2006

Link: https://doi.org/10.1002/..