Standard
Minimizing Characterizing Sets. / Bulut, Kadir; Jourdan, Guy Vincent
; Türker, Uraz Cengiz.
Formal Aspects of Component Software (FACS 2019). ed. / F. Arbab; S.S. Jongmans. Cham: Springer, 2020. p. 72-86 (Lecture Notes in Computer Science; Vol. 12018).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Harvard
Bulut, K, Jourdan, GV
& Türker, UC 2020,
Minimizing Characterizing Sets. in F Arbab & SS Jongmans (eds),
Formal Aspects of Component Software (FACS 2019). Lecture Notes in Computer Science, vol. 12018, Springer, Cham, pp. 72-86.
https://doi.org/10.1007/978-3-030-40914-2_4APA
Vancouver
Bulut K, Jourdan GV
, Türker UC.
Minimizing Characterizing Sets. In Arbab F, Jongmans SS, editors, Formal Aspects of Component Software (FACS 2019). Cham: Springer. 2020. p. 72-86. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-40914-2_4
Author
Bibtex
@inbook{983c612c3818416eba06010947bc7716,
title = "Minimizing Characterizing Sets",
author = "Kadir Bulut and Jourdan, {Guy Vincent} and T{\"u}rker, {Uraz Cengiz}",
year = "2020",
month = feb,
day = "13",
doi = "10.1007/978-3-030-40914-2_4",
language = "English",
isbn = "9783030409135",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "72--86",
editor = "F. Arbab and S.S. Jongmans",
booktitle = "Formal Aspects of Component Software (FACS 2019)",
}
RIS
TY - CHAP
T1 - Minimizing Characterizing Sets
AU - Bulut, Kadir
AU - Jourdan, Guy Vincent
AU - Türker, Uraz Cengiz
PY - 2020/2/13
Y1 - 2020/2/13
U2 - 10.1007/978-3-030-40914-2_4
DO - 10.1007/978-3-030-40914-2_4
M3 - Chapter
SN - 9783030409135
T3 - Lecture Notes in Computer Science
SP - 72
EP - 86
BT - Formal Aspects of Component Software (FACS 2019)
A2 - Arbab, F.
A2 - Jongmans, S.S.
PB - Springer
CY - Cham
ER -
