المؤلفون: Dal, Giso H.^Aff9, Laarman, Alfons^Aff10, Lucas, Peter J. F.^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Caltais, Georgiana, editor^Aff7, Schilling, Christian, editor^Aff8

المصدر: Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings. 13872:22-37

المؤلفون: Dal, Giso H., Kosters, Walter A., Takes, Frank W.

المصدر: 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing Parallel, Distributed and Network-Based Processing (PDP), 2014 22nd Euromicro International Conference on. :632-639 Feb, 2014

Relation: 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)

المؤلفون: Hommersom, Arjen, Lucas, Peter J.F., Velikova, Marina, Dal, Giso, Bastos, Joaquim, Rodriguez, Jonathan, Germs, Marleen, Schwietert, Henk

المصدر: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom 2013) e-Health Networking, Applications & Services (Healthcom), 2013 IEEE 15th International Conference on. :188-192 Oct, 2013

Relation: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom 2013)

المؤلفون: Dal, Giso H., Lucas, Peter J. F.

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1610.05551

المؤلفون: Dal, Giso H., Laarman, Alfons W., Hommersom, Arjen, Lucas, Peter J.F.

المصدر: In International Journal of Approximate Reasoning November 2021 138:38-66

المؤلفون: Dal, Giso H., Lucas, Peter J.F.

المصدر: In International Journal of Approximate Reasoning November 2017 90:411-432