Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin

StatusFinished
Effective start/end date23/01/201431/12/2015