Romeo: a tool for analyzing time petri nets

Didier Lime; Guillaume Gardey; Morgan Magnin; Olivier H. Roux

doi:10.1007/11513988_41

Romeo: a tool for analyzing time petri nets

Didier Lime, Guillaume Gardey, Morgan Magnin, Olivier H. Roux

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

110 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Forlag	Springer
Publikationsdato	2005
Sider	418-423
ISBN (Trykt)	9783540272311
ISBN (Elektronisk)	1611-3349
DOI	https://doi.org/10.1007/11513988_41
Status	Udgivet - 2005
Begivenhed	Romeo - , Storbritannien Varighed: 20 jul. 2005 → …

Konference

Konference	Romeo
Land/Område	Storbritannien
Periode	20/07/2005 → …

Navn	Lecture notes in computer sciense
Nummer	3576

Adgang til dokumentet

10.1007/11513988_41

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{f1bf57900aa611dcb676000ea68e967b,

title = "Romeo: a tool for analyzing time petri nets",

author = "Didier Lime and Guillaume Gardey and Morgan Magnin and Roux, {Olivier H.}",

year = "2005",

doi = "10.1007/11513988_41",

language = "English",

isbn = "9783540272311",

series = "Lecture notes in computer sciense",

publisher = "Springer",

number = "3576",

pages = "418--423",

booktitle = "Computer Aided Verification",

address = "Germany",

note = "Romeo ; Conference date: 20-07-2005",

}

Romeo: a tool for analyzing time petri nets. / Lime, Didier; Gardey, Guillaume; Magnin, Morgan et al.
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings. Springer, 2005. s. 418-423 (Lecture notes in computer sciense; Nr. 3576).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review