Standard

On generating *-sound nets with substitution. / Sroka, J; Chrzastowski-Wachtel, P; Hidders, AJH.

Proceedings 11th International Conference on Application of Concurrency to System Design. ed. / B Caillaud; J Carmona; K Hiraishi. Los Alamitos, CA, USA : IEEE Society, 2011. p. 3-12.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Harvard

Sroka, J, Chrzastowski-Wachtel, P & Hidders, AJH 2011, On generating *-sound nets with substitution. in B Caillaud, J Carmona & K Hiraishi (eds), Proceedings 11th International Conference on Application of Concurrency to System Design. IEEE Society, Los Alamitos, CA, USA, pp. 3-12, ACSD 2011, Newcastle upon Tyne, UK, 20/06/11. https://doi.org/10.1109/ACSD.2011.26

APA

Sroka, J., Chrzastowski-Wachtel, P., & Hidders, AJH. (2011). On generating *-sound nets with substitution. In B. Caillaud, J. Carmona, & K. Hiraishi (Eds.), Proceedings 11th International Conference on Application of Concurrency to System Design (pp. 3-12). Los Alamitos, CA, USA: IEEE Society. https://doi.org/10.1109/ACSD.2011.26

Vancouver

Sroka J, Chrzastowski-Wachtel P, Hidders AJH. On generating *-sound nets with substitution. In Caillaud B, Carmona J, Hiraishi K, editors, Proceedings 11th International Conference on Application of Concurrency to System Design. Los Alamitos, CA, USA: IEEE Society. 2011. p. 3-12 https://doi.org/10.1109/ACSD.2011.26

Author

Sroka, J ; Chrzastowski-Wachtel, P ; Hidders, AJH. / On generating *-sound nets with substitution. Proceedings 11th International Conference on Application of Concurrency to System Design. editor / B Caillaud ; J Carmona ; K Hiraishi. Los Alamitos, CA, USA : IEEE Society, 2011. pp. 3-12

BibTeX

@inproceedings{70db5e3520a04634bb616383f548a8d7,
title = "On generating *-sound nets with substitution",
keywords = "Conf.proc. > 3 pag",
author = "J Sroka and P Chrzastowski-Wachtel and AJH Hidders",
note = "NEO",
year = "2011",
doi = "10.1109/ACSD.2011.26",
language = "English",
isbn = "978-0-7695-4387-1",
publisher = "IEEE Society",
pages = "3--12",
editor = "B Caillaud and J Carmona and K Hiraishi",
booktitle = "Proceedings 11th International Conference on Application of Concurrency to System Design",

}

RIS

TY - GEN

T1 - On generating *-sound nets with substitution

AU - Sroka, J

AU - Chrzastowski-Wachtel, P

AU - Hidders, AJH

N1 - NEO

PY - 2011

Y1 - 2011

KW - Conf.proc. > 3 pag

U2 - 10.1109/ACSD.2011.26

DO - 10.1109/ACSD.2011.26

M3 - Conference contribution

SN - 978-0-7695-4387-1

SP - 3

EP - 12

BT - Proceedings 11th International Conference on Application of Concurrency to System Design

A2 - Caillaud, B

A2 - Carmona, J

A2 - Hiraishi, K

PB - IEEE Society

CY - Los Alamitos, CA, USA

ER -

ID: 2916274