Road Trafic Signals Modelling and Analysis with petri nets and Linear Logic.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

13 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 2007 IEEE International Conference on Networking, sensing and Control (ICNSC)
Editors	Liu Guoping
Publisher	IEEE
Pages	169-174
Number of pages	6
ISBN (Print)	1-4244-1076-2
Publication status	Published - 2007
Event	The 2007 IEEE International Conference on Networking, sensing and Control (ICNSC) - Londen Duration: 15 Apr 2007 → 17 Apr 2007

Conference	The 2007 IEEE International Conference on Networking, sensing and Control (ICNSC)
Period	15/04/07 → 17/04/07

Keywords

@inproceedings{c0dd4161becd406eaaf4790ed36f1a24,

title = "Road Trafic Signals Modelling and Analysis with petri nets and Linear Logic.",

keywords = "Conf.proc. > 3 pag",

author = "\{Dos Santos Soares\}, M and JLM Vrancken",

year = "2007",

language = "Undefined/Unknown",

isbn = "1-4244-1076-2",

pages = "169--174",

editor = "Liu Guoping",

booktitle = "Proceedings of the 2007 IEEE International Conference on Networking, sensing and Control (ICNSC)",

publisher = "IEEE",

address = "United States",

note = "The 2007 IEEE International Conference on Networking, sensing and Control (ICNSC) ; Conference date: 15-04-2007 Through 17-04-2007",

}

Road Trafic Signals Modelling and Analysis with petri nets and Linear Logic. / Dos Santos Soares, M; Vrancken, JLM.
Proceedings of the 2007 IEEE International Conference on Networking, sensing and Control (ICNSC). ed. / Liu Guoping. IEEE, 2007. p. 169-174.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Road Trafic Signals Modelling and Analysis with petri nets and Linear Logic.

AU - Dos Santos Soares, M

AU - Vrancken, JLM

PY - 2007

Y1 - 2007

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SN - 1-4244-1076-2

SP - 169

EP - 174

BT - Proceedings of the 2007 IEEE International Conference on Networking, sensing and Control (ICNSC)

A2 - Guoping, Liu

PB - IEEE

T2 - The 2007 IEEE International Conference on Networking, sensing and Control (ICNSC)

Y2 - 15 April 2007 through 17 April 2007

ER -