Original language | English |
---|---|
Title of host publication | ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 |
Publisher | Springer |
Pages | 249-266 |
ISBN (Print) | 978-3-642-54847-5 |
Publication status | Published - 2014 |
MoE publication type | A4 Conference publication |
Publication series
Name | |
---|---|
Publisher | Springer |
ISSN (Print) | 0302-9743 |