Specification and Verification of Invariant Properties of Transition Systems

Daniel Gaina, Ionut Tutu, Adrian Riesco

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

79 Downloads (Pure)

Original language	English
Title of host publication	25th Asia-Pacific Software Engineering Conference
Subtitle of host publication	4-7 December 2018, Nara, Japan
Publisher	IEEE
Pages	99-108
Number of pages	10
ISBN (Electronic)	978-1-7281-1970-0
DOIs	https://doi.org/10.1109/APSEC.2018.00024
Publication status	E-pub ahead of print - 23 May 2019
Event	25th Asia-Pacific Software Engineering Conference - Nara, Japan Duration: 4 Dec 2018 → 7 Dec 2018 Conference number: 25 http://www.apsec2018.org/

Conference	25th Asia-Pacific Software Engineering Conference
Abbreviated title	APSEC 2018
Country/Territory	Japan
City	Nara
Period	4/12/18 → 7/12/18
Internet address	http://www.apsec2018.org/

Access to Document

@inproceedings{a7fe785cc7364d71a528152a7b8bb233,

title = "Specification and Verification of Invariant Properties of Transition Systems",

author = "Daniel Gaina and Ionut Tutu and Adrian Riesco",

year = "2019",

month = may,

day = "23",

doi = "10.1109/APSEC.2018.00024",

language = "English",

pages = "99--108",

booktitle = "25th Asia-Pacific Software Engineering Conference",

publisher = "IEEE",

note = "25th Asia-Pacific Software Engineering Conference, APSEC 2018 ; Conference date: 04-12-2018 Through 07-12-2018",

url = "http://www.apsec2018.org/",

}

TY - GEN

T1 - Specification and Verification of Invariant Properties of Transition Systems

AU - Gaina, Daniel

AU - Tutu, Ionut

AU - Riesco, Adrian

N1 - Conference code: 25

PY - 2019/5/23

Y1 - 2019/5/23

U2 - 10.1109/APSEC.2018.00024

DO - 10.1109/APSEC.2018.00024

M3 - Conference contribution

SP - 99

EP - 108

BT - 25th Asia-Pacific Software Engineering Conference

PB - IEEE

T2 - 25th Asia-Pacific Software Engineering Conference

Y2 - 4 December 2018 through 7 December 2018

ER -