Tampere University of Technology

TUTCRIS Research Portal

External Behaviour of Systems of State Machines with Variables

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Original languageEnglish
Title of host publicationThe 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.
EditorsKurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
Place of PublicationBerlin, Heidelberg
Number of pages45
ISBN (Electronic)978-3-642-38143-0
ISBN (Print)978-3-642-38142-3
Publication statusPublished - 2013
Publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Publication forum classification

Field of science, Statistics Finland