| Original language | English |
|---|---|
| Pages (from-to) | 2-2 |
| Journal | Electronic proceedings in theoretical computer science |
| Issue number | 261 |
| Publication status | Published - 2017 |
Cite this
@article{86e32e6f8e404813b4f2308de268b30f,
title = "Verification of Concurrent Software",
author = "Marieke Huisman",
year = "2017",
language = "English",
pages = "2--2",
journal = "Electronic proceedings in theoretical computer science",
issn = "2075-2180",
publisher = "Open Publishing Association",
number = "261",
}
Huisman, M 2017, 'Verification of Concurrent Software' Electronic proceedings in theoretical computer science, no. 261, pp. 2-2.
Verification of Concurrent Software. / Huisman, Marieke.
In: Electronic proceedings in theoretical computer science, No. 261, 2017, p. 2-2.Research output: Contribution to journal › Editorial › Academic › peer-review
TY - JOUR
T1 - Verification of Concurrent Software
AU - Huisman, Marieke
PY - 2017
Y1 - 2017
M3 - Editorial
SP - 2
EP - 2
JO - Electronic proceedings in theoretical computer science
JF - Electronic proceedings in theoretical computer science
SN - 2075-2180
IS - 261
ER -