MAXIME CORDY
  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20112020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter (peer-reviewed)

Search results

  • 2019

    A Decade of Featured Transition Systems

    Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
    21 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.