Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Department of Computer Science
Original languageEnglish
Title of host publicationProceedings 2nd workshop on Teaching Concurrency
Number of pages10
PublisherUniversity of Podlasie, Institute of Computer Science
Publication year2007
Pages67-77
Publication statusPublished - 2007
EventWorkshop on Teaching Concurrency - Siedlce, Poland
Duration: 25 Jun 200725 Jun 2007

Conference

ConferenceWorkshop on Teaching Concurrency
LandPoland
BySiedlce
Periode25/06/200725/06/2007

See relations at Aarhus University Citationformats

ID: 6189665