Embedding Finite Automata within regular Expressions

Shoham Ben-David; Dana Fisman; Sitvanit Ruah

Embedding Finite Automata within regular Expressions

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English GB
Title of host publication	International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
Editors	Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß
Publisher	Department of Computer Science, University of Cyprus
Pages	175-180
Number of pages	6
Volume	TR-2004-6
State	Published - 2004
Externally published	Yes

Publication series

Name	Technical Report
Publisher	Department of Computer Science, University of Cyprus

Cite this

Ben-David, S., Fisman, D., & Ruah, S. (2004). Embedding Finite Automata within regular Expressions. In T. Margaria, B. Steffen, A. Philippou, & M. Reitenspieß (Eds.), International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings (Vol. TR-2004-6, pp. 175-180). (Technical Report). Department of Computer Science, University of Cyprus.

Ben-David, Shoham ; Fisman, Dana ; Ruah, Sitvanit. / Embedding Finite Automata within regular Expressions. International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. editor / Tiziana Margaria ; Bernhard Steffen ; Anna Philippou ; Manfred Reitenspieß. Vol. TR-2004-6 Department of Computer Science, University of Cyprus, 2004. pp. 175-180 (Technical Report).

@inproceedings{bb0dd6b71d0445e8be25e0f8ed516db6,

title = "Embedding Finite Automata within regular Expressions",

author = "Shoham Ben-David and Dana Fisman and Sitvanit Ruah",

year = "2004",

language = "אנגלית",

volume = "TR-2004-6",

series = "Technical Report",

publisher = "Department of Computer Science, University of Cyprus",

pages = "175--180",

editor = "Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspie{\ss}",

booktitle = "International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings",

}

Ben-David, S, Fisman, D & Ruah, S 2004, Embedding Finite Automata within regular Expressions. in T Margaria, B Steffen, A Philippou & M Reitenspieß (eds), International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. vol. TR-2004-6, Technical Report, Department of Computer Science, University of Cyprus, pp. 175-180.

Embedding Finite Automata within regular Expressions. / Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit.
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. ed. / Tiziana Margaria; Bernhard Steffen; Anna Philippou; Manfred Reitenspieß. Vol. TR-2004-6 Department of Computer Science, University of Cyprus, 2004. p. 175-180 (Technical Report).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Embedding Finite Automata within regular Expressions

AU - Ben-David, Shoham

AU - Fisman, Dana

AU - Ruah, Sitvanit

PY - 2004

Y1 - 2004

M3 - פרסום בספר כנס

VL - TR-2004-6

T3 - Technical Report

SP - 175

EP - 180

BT - International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

A2 - Philippou, Anna

A2 - Reitenspieß, Manfred

PB - Department of Computer Science, University of Cyprus

ER -

Ben-David S, Fisman D, Ruah S. Embedding Finite Automata within regular Expressions. In Margaria T, Steffen B, Philippou A, Reitenspieß M, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Vol. TR-2004-6. Department of Computer Science, University of Cyprus. 2004. p. 175-180. (Technical Report).