Searching for authors named "Alberto Lafuente" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Designing Efficient Algorithms for the Eventually Perfect Failure Detector Class
- … for the Eventually Perfect Failure Detector Class Mikel Larrea, Alberto Lafuente, Iratxe Soraluze and Roberto…
- Add To MetaCart
-
Analysis of Transport Protocols in Hybrid Networks
- …Analysis of Transport Protocols in Hybrid Networks Alberto Lluch Lafuente June 1999 Abstract…
- Add To MetaCart
-
Simplified Distributed LTL Model Checking by Localizing Cycles
- …Simplified Distributed LTL Model Checking by Localizing Cycles Alberto Lluch Lafuente March 5…
- Cited by 3 (0 self) – Add To MetaCart
-
Towards model checking spatial properties with spin
- …Towards Model Checking Spatial Properties with SPIN ⋆ Alberto Lluch Lafuente Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Partial-order reduction for general state exploring algorithms
- … , and Alberto Lluch Lafuente 3 1 Eindhoven University of Technology Den Dolech 2, P.O. Box 513 5612 MB Eindhoven…
- Cited by 3 (0 self) – Add To MetaCart
-
Graphical verification of a spatial logic for the π-calculus
- …Graphical Verification of a Spatial Logic for the π-calculus Fabio Gadducci 1 and Alberto Lluch…
- Cited by 1 (1 self) – Add To MetaCart
-
Graphical Verification of a Spatial Logic for the π-calculus
- … Gadducci 1 and Alberto Lluch Lafuente 2 Dipartimento di Informatica, Università di Pisa largo Bruno…
- Cited by 2 (1 self) – Add To MetaCart
-
Partial-Order Reduction for General State Exploring Algorithms
- …ˇsnački 1 ,StefanLeue 2 ,andAlbertoLluchLafuente 3 1 Eindhoven University of Technology Den Dolech 2, P…
- Add To MetaCart
-
2005b. Heuristic search for the analysis of graph transition systems
- … and Alberto Lluch Lafuente 2 1 Computer Science Department, University of Dortmund, Dortmund, Germany {stefan…
- Cited by 2 (2 self) – Add To MetaCart
-
A temporal graph logic for verification of graph transformation systems
- … Corradini 2 , Barbara König 3 , Alberto Lluch Lafuente 2 1 Dipartimento di Informatica, Università Ca…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
