A Verification-Oriented Theory of Data in Labelled Transition Systems

I. Kokkarinen

Research output: Book/Report › Doctoral thesis › Collection of Articles

Translated title of the contribution	A Verification-Oriented Theory of Data in Labelled Transition Systems
Original language	English
Place of Publication	Tampere
Publisher	Tampere University of Technology
Number of pages	105
Publication status	Published - 1998
Publication type	G5 Doctoral dissertation (articles)

Name	Tampereen teknillinen korkeakoulu. Julkaisuja
Publisher	Tampere University of Technology
No.	234

Publication forum classification

@book{6eba36976aee4146bbf07f1155c78112,

title = "A Verification-Oriented Theory of Data in Labelled Transition Systems",

author = "I. Kokkarinen",

note = "Awarding institution:Tampere University of Technology",

year = "1998",

language = "English",

series = "Tampereen teknillinen korkeakoulu. Julkaisuja",

publisher = "Tampere University of Technology",

number = "234",

}

TY - BOOK

T1 - A Verification-Oriented Theory of Data in Labelled Transition Systems

AU - Kokkarinen, I.

N1 - Awarding institution:Tampere University of Technology

PY - 1998

Y1 - 1998

M3 - Doctoral thesis

T3 - Tampereen teknillinen korkeakoulu. Julkaisuja

BT - A Verification-Oriented Theory of Data in Labelled Transition Systems

PB - Tampere University of Technology

CY - Tampere

ER -