Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Vijzelaar, Stefan
10  Ergebnisse:
Personensuche X
?
1

Multi-valued Simulation and Abstraction Using Lattice Opera..:

Vijzelaar, Stefan ; Fokkink, Wan
ACM Transactions on Embedded Computing Systems (TECS).  16 (2017)  2 - p. 1-26 , 2017
Link: https://dl.acm.org/doi/1..
 
?
2

Multi-valued Simulation and Abstraction Using Lattice Opera..:

Vijzelaar, Stefan ; Fokkink, Wan
ACM Transactions on Embedded Computing Systems.  16 (2017)  2 - p. 1-26 , 2017
Link: https://doi.org/10.1145/..
 
?
3

Brief announcement : a shared disk on distributed storag:

, In: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing,
Vijzelaar, Stefan ; Bos, Herbert ; Fokkink, Wan - p. 79-80 , 2010
Link: https://dl.acm.org/doi/1..
 
?
4

Creating Büchi Automata for Multi-valued Model Checking:

Vijzelaar, Stefan ; Fokkink, Wan
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-60225-7_15.  , 2017
Link: https://hal.inria.fr/hal..
 
?
5

Creating Büchi Automata for Multi-valued Model Checking:

Vijzelaar, Stefan ; Fokkink, Wan
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-60225-7_15.  , 2017
Link: https://hal.inria.fr/hal..
 
?
6

Distributed MAP in the SpinJa Model Checker:

Vijzelaar, Stefan ; Verstoep, Kees ; Fokkink, Wan.
http://arxiv.org/abs/1111.0374.  , 2011
Link: http://arxiv.org/abs/111..
 
?
7

Multi-valued simulation and abstraction using lattice opera..:

Vijzelaar, Stefan JJ ; Fokkink, WJ Wan
ISSN:1539-9087.  , 2017
Link: http://repository.tue.nl..
 
?
8

Creating Büchi automata for multi-valued model checking:

Vijzelaar, Stefan JJ ; Fokkink, WJ Wan , 2017
Link: http://repository.tue.nl..
 
?
9

Multi-valued abstraction using lattice operations:

Vijzelaar, Stefan JJ ; Fokkink, WJ Wan , 2015
Link: http://repository.tue.nl..
 
?
10

Distributed MAP in the SpinJa Model Checker:

Stefan Vijzelaar ; Kees Verstoep ; Wan Fokkink.
http://arxiv.org/pdf/1111.0374v1.  , 2011
Link: https://doi.org/10.4204/..
 
1-10