Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin

Project Details

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