Hourglass Automata

Y. Osada, Tim French, Mark Reynolds, H. Smallbone

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

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	https://doi.org/10.4204/EPTCS.161.16
Publication status	Published - 2014
Event	Hourglass Automata - Verona, Italy Duration: 1 Jan 2014 → …

Conference	Hourglass Automata
Period	1/01/14 → …

Access to Document

@inproceedings{52912f2b24dc406caddbb6885caca036,

title = "Hourglass Automata",

author = "Y. Osada and Tim French and Mark Reynolds and H. Smallbone",

year = "2014",

doi = "10.4204/EPTCS.161.16",

language = "English",

isbn = "20752180",

volume = "EPTCS 161",

pages = "175--188",

booktitle = "Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification",

publisher = "Cornell University Library",

note = "Hourglass Automata ; Conference date: 01-01-2014",

}

TY - GEN

T1 - Hourglass Automata

AU - Osada, Y.

AU - French, Tim

AU - Reynolds, Mark

AU - Smallbone, H.

PY - 2014

Y1 - 2014

U2 - 10.4204/EPTCS.161.16

DO - 10.4204/EPTCS.161.16

M3 - Conference paper

SN - 20752180

VL - EPTCS 161

SP - 175

EP - 188

BT - Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification

PB - Cornell University Library

CY - USA

T2 - Hourglass Automata

Y2 - 1 January 2014

ER -