Synchronizing words for weighted and timed automata

Laurent Doyen, Line Juhl, Kim G. Larsen, Nicolas Markey, Mahsa Shirmohammadi

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

12 Citationer (Scopus)
OriginalsprogEngelsk
TitelLeibniz International Proceedings in Informatics, LIPIcs
Antal sider12
Vol/bind29
ForlagSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publikationsdato11 dec. 2014
Sider121-132
ISBN (Trykt)9783939897774
DOI
StatusUdgivet - 11 dec. 2014
Begivenhed34th International Conference on Foundation of Software Technology and Theoretical Computer Science - New Delhi, Indien
Varighed: 15 dec. 201417 dec. 2014
Konferencens nummer: 34

Konference

Konference34th International Conference on Foundation of Software Technology and Theoretical Computer Science
Nummer34
LandIndien
ByNew Delhi
Periode15/12/201417/12/2014

Fingeraftryk Dyk ned i forskningsemnerne om 'Synchronizing words for weighted and timed automata'. Sammen danner de et unikt fingeraftryk.

Citationsformater