by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in Theoretical computer science (11.10.2016)

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in Annals of mathematics and artificial intelligence (01.08.2018)

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in Logic journal of the IGPL (01.10.2017)

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana
Published in Perspectives of System Informatics (2018)

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in Foundations of Information and Knowledge Systems (2016)

by Ferrarotti, Flavio, Tec, Loredana, Torres, José María Turull
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)

by Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z (2018)

by Schewe, Klaus-Dieter, Ferrarotti, Flavio, Tec, Loredana, Wang, Qing
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z (2018)

by Krenn, Willibald, Ničković, Dejan, Tec, Loredana
Published in Formal Modeling and Analysis of Timed Systems (2013)

by Kartashova, Elena, Tec, Loredana
Published in arXiv.org (18.12.2012)

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in arXiv.org (30.05.2017)

by Ferrarotti, Flavio, Tec, Loredana, Turull-Torres, José María
Year of Publication 09.12.2016

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Year of Publication 24.02.2016

by Ferrarotti, Flavio, Tec, Loredana, Turull Torres, Jose Maria
Published in arXiv.org (30.05.2017)

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in arXiv.org (23.04.2015)

by Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Published in arXiv.org (30.05.2017)

by Ferrarotti, Flavio, Tec, Loredana, Turull-Torres, José María
Published in arXiv.org (09.12.2016)

by Rosenkranz, Markus, Regensburger, Georg, Tec, Loredana, Buchberger, Bruno
Year of Publication 10.10.2012

by Rosenkranz, Markus, Regensburger, Georg, Tec, Loredana, Buchberger, Bruno
Published in Numerical and Symbolic Scientific Computing (12.10.2011)

by Rosenkranz, Markus, Regensburger, Georg, Tec, Loredana, Buchberger, Bruno
Published in arXiv.org (10.10.2012)