CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction

Research output: Contribution to conference › Paper › Academic

Original language	English
Pages	91-100
Number of pages	10
Publication status	Published - 2019
Event	40th International Conference Application and Theory of Petri Nets and Concurrency - Aachen, Germany Duration: 24 Jun 2019 → …

Conference	40th International Conference Application and Theory of Petri Nets and Concurrency
Abbreviated title	PETRI NETS 2019
Country/Territory	Germany
City	Aachen
Period	24/06/19 → …

Cite this

@conference{4ad847fff23d402582aa9f1fd954e0ec,

title = "CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction",

author = "\{van der Werf\}, J.M.E.M. and Lucas Steehouwer",

year = "2019",

language = "English",

pages = "91--100",

note = "40th International Conference Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019 ; Conference date: 24-06-2019",

}