Name: David M. Cerna
Number of Papers: 1
Publications Years: 2020
Affiliation History: Institute of Formal Methods and Verification, Johannes Kepler University, Austria, Research Institute for Symbolic Computation, Johannes Kepler University, Austria
Proceedings
Papers
Authors
Ontology
Science and Technology Publications, Lda Avenida de S. Francisco Xavier, Lote 7 Cv. C, 2900-616 Setúbal, Portugal.
Phone: +351 265 520 185 (National fixed network call) Fax: +351 265 520 186 Email: info@scitepress.org
PRIMORIS
INSTICC
SCITEVENTS
CROSSREF
dblp
Ei Compendex
SCOPUS
Semantic Scholar
Google Scholar
Microsoft Academic