Quantitative Modal Transition Systems

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

1 Citationer (Scopus)
OriginalsprogEngelsk
TitelRecent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Vol/bind7841
ForlagSpringer Publishing Company
Publikationsdato2013
Sider50-58
ISBN (Trykt)978-3-642-37634-4
ISBN (Elektronisk)978-3-642-37635-1
DOI
StatusUdgivet - 2013
Begivenhed 21st International Workshop on Algebraic Development Techniques - Salamanca, Spanien
Varighed: 7 jun. 201210 jun. 2012

Konference

Konference 21st International Workshop on Algebraic Development Techniques
LandSpanien
BySalamanca
Periode07/06/201210/06/2012
NavnLecture Notes in Computer Science
Vol/bind7841
ISSN0302-9743

Citationsformater