Alberto Gil-Solla

Available identifiers

zbMath Open gil-solla.albertoDBLP21/1978WikidataQ93331867 ScholiaQ93331867MaRDI QIDQ3625033

List of research outcomes

Publication	Date of Publication	Type
Datasets generated by rurAllure project - promotion of rural museums and heritage sites in the vicinity of European pilgrimage routes	2023-02-06	Dataset
Tracing integration analysis in component-based formal specifications	2021-05-20	Paper
Integrated Formal Methods	2009-05-07	Paper
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications	2006-07-03	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper

Research outcomes over time

This page was built for person: Alberto Gil-Solla