Specification and Verification of Invariant Properties of Transition Systems. / Gaina, Daniel; Tutu, Ionut; Riesco, Adrian.

25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, 2019. p. 99-108.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

E-pub ahead of print

Standard

Specification and Verification of Invariant Properties of Transition Systems. / Gaina, Daniel; Tutu, Ionut; Riesco, Adrian.

25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, 2019. p. 99-108.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Gaina, D, Tutu, I & Riesco, A 2019, Specification and Verification of Invariant Properties of Transition Systems. in 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, pp. 99-108, 25th Asia-Pacific Software Engineering Conference, Nara, Japan, 4/12/18. https://doi.org/10.1109/APSEC.2018.00024

APA

Gaina, D., Tutu, I., & Riesco, A. (2019). Specification and Verification of Invariant Properties of Transition Systems. In 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan (pp. 99-108). IEEE. https://doi.org/10.1109/APSEC.2018.00024

Vancouver

Gaina D, Tutu I, Riesco A. Specification and Verification of Invariant Properties of Transition Systems. In 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE. 2019. p. 99-108 https://doi.org/10.1109/APSEC.2018.00024

Author

Gaina, Daniel ; Tutu, Ionut ; Riesco, Adrian. / Specification and Verification of Invariant Properties of Transition Systems. 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, 2019. pp. 99-108

BibTeX

@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/",

}

RIS

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 -