Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lluch Lafuente, Alberto
8  Ergebnisse:
E-Books X
Personensuche X
?
1

Formal Methods for Industrial Critical Systems: 26th Intern.. 

Programming and Software Engineering, 12863
Lluch Lafuente, Alberto ; Mavridou, Anastasia - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
2

Coordination Models and Languages 

18th IFIP WG 6.1 International Conference, COORDINATION 201...  Lecture Notes in Computer Science ; 9686;Programming and Software Engineering ; 9686;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Lluch Lafuente, Alberto ; Proença, José , 2016
Link: https://doi.org/10.1007/..
 
?
3

Trustworthy Global Computing 

8th International Symposium, TGC 2013, Buenos Aires, Argent...  Lecture Notes in Computer Science ; 8358;SpringerLink, Bücher
Abadi, Martín ; Lluch Lafuente, Alberto , 2014
Link: https://doi.org/10.1007/..
 
?
4

First attempts to combine symmetry reduction and heuristic .. 

Technical report / Universität Freiburg, Institut für Informatik ; 184
Lluch Lafuente, Alberto , 2003
Link: http://edok01.tib.uni-ha..
 
?
5

Simplified distributed LTL model checking by localizing cyc.. 

Universität Freiburg, Institut für Informatik ; 176
Lluch Lafuente, Alberto , 2002
Link: http://edok01.tib.uni-ha..
 
?
6

Abstraction databases 

[Technical report / Universität Freiburg, Institut für Informatik] ; [196]
Edelkamp, Stefan ; Lluch-Lafuente, Alberto , 2004
Link: http://edok01.tib.uni-ha..
 
?
7

Partial order reduction in directed model checking 

Technical report / Universität Freiburg, Institut für Informatik ; 162
Lluch-Lafuente, Alberto ; Edelkamp, Stefan ; Leue, Stefan , 2001
Link: http://edok01.tib.uni-ha..
 
?
8

Directed explicit-state model checking in the validation of.. 

Technical report / Universität Freiburg, Institut für Informatik ; 161
Edelkamp, Stefan ; Leue, Stefan ; Lluch-Lafuente, Alberto , 2001
Link: http://edok01.tib.uni-ha..
 
1-8