Digitization of Timed Automata

D. Bosnacki

Digitization of Timed Automata

D. Bosnacki

Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the 4th International Workshop on Formal Methods for Industrial Critical Systems
Plaats van productie	Pisa, Italy
Uitgeverij	S.T.A.R.
Pagina's	283-302
ISBN van geprinte versie	88-7958-009-4
Status	Gepubliceerd - 1999
Evenement	conference; 4th International ERCIM Workshop on Fromal Methods for Industiral Critical Systems, 1999, Trento, Italy - Duur: 1 jan. 1999 → …

Congres

Congres	conference; 4th International ERCIM Workshop on Fromal Methods for Industiral Critical Systems, 1999, Trento, Italy
Periode	1/01/99 → …
Ander	4th International ERCIM Workshop on Fromal Methods for Industiral Critical Systems, 1999, Trento, Italy

Citeer dit

@inproceedings{d6edee92f8f1441eb4b526058c086502,

title = "Digitization of Timed Automata",

author = "D. Bosnacki",

year = "1999",

language = "English",

isbn = "88-7958-009-4",

pages = "283--302",

booktitle = "Proceedings of the 4th International Workshop on Formal Methods for Industrial Critical Systems",

publisher = "S.T.A.R.",

note = "conference; 4th International ERCIM Workshop on Fromal Methods for Industiral Critical Systems, 1999, Trento, Italy ; Conference date: 01-01-1999",

}

TY - GEN

T1 - Digitization of Timed Automata

AU - Bosnacki, D.

PY - 1999

Y1 - 1999

M3 - Conference contribution

SN - 88-7958-009-4

SP - 283

EP - 302

BT - Proceedings of the 4th International Workshop on Formal Methods for Industrial Critical Systems

PB - S.T.A.R.

CY - Pisa, Italy

T2 - conference; 4th International ERCIM Workshop on Fromal Methods for Industiral Critical Systems, 1999, Trento, Italy

Y2 - 1 January 1999

ER -