• Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Danmark

20142019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2014 2019

  • 13 Konferenceartikel i proceeding
  • 3 Tidsskriftartikel
  • 1 Ph.d.-afhandling
  • 1 Bidrag til bog/antologi
Filter
Bidrag til bog/antologi
2018
1 Citation (Scopus)

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

edition
Spain
evaluation
software