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

Details

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
PublisherSpringer
Pages255-299
Number of pages45
ISBN (Electronic)978-3-642-38143-0
ISBN (Print)978-3-642-38142-3
DOIs
Publication statusPublished - 2013
Publication typeA4 Article in a conference publication

Publication series

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

Publication forum classification

Field of science, Statistics Finland