Publications

On Featured Transition Systems

Informations générales

étatPublié
organisationsResearch Center on Information Systems Engineering, Faculté d'informatique, Research group on the foundations of computer sciences, Namur Digital Institute, INRIA Rennes Bretagne Atlantique
AuteursLegay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P., Heymans, P.
Nombre de pages11
Pages453-463
Date de publicationjanv. 2017

Informations sur la publication d'accueil

titreSOFSEM 2017: Theory and Practice of Computer Science : Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Lieu de publicationLimerick, Ireland
EditeurSpringer
rédacteurs en chefBaier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T., Steffen, B.
ISBN (imprimé)9783319519623

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10139 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque