Original language | English |
---|---|
Title of host publication | Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification |
Place of Publication | USA |
Publisher | Cornell University Library |
Pages | 175-188 |
Volume | EPTCS 161 |
ISBN (Print) | 20752180 |
DOIs | |
Publication status | Published - 2014 |
Event | Hourglass Automata - Verona, Italy Duration: 1 Jan 2014 → … |
Conference
Conference | Hourglass Automata |
---|---|
Period | 1/01/14 → … |