Visual temporal logic as a rapid prototyping tool

Martin Fränzle; Karsten Lüth; D. Bosnacki; S. Mauw; T. Willemse

Visual temporal logic as a rapid prototyping tool

Martin Fränzle, Karsten Lüth, D. Bosnacki (Editor), S. Mauw (Editor), T. Willemse (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	Proceeding of the first international symposium on Visual Formal Methods VFM'99 [Invited paper]
Publisher	Dpt. of Mathematics and Computing Science
Publication date	1999
Pages	1-15
Publication status	Published - 1999
Event	Proceeding of the first international symposium on Visual Formal Methods VFM'99 - Duration: 1 Jan 1999 → …

Conference

Conference	Proceeding of the first international symposium on Visual Formal Methods VFM'99
Period	01/01/1999 → …

OpenUrl availability

Full text

Cite this

@inproceedings{88fb70062113451881456bcdf0bb59c2,

title = "Visual temporal logic as a rapid prototyping tool",

author = "Martin Fr{\"a}nzle and Karsten L{\"u}th and D. Bosnacki and S. Mauw and T. Willemse",

year = "1999",

language = "English",

pages = "1--15",

booktitle = "Proceeding of the first international symposium on Visual Formal Methods VFM'99 [Invited paper]",

publisher = "Dpt. of Mathematics and Computing Science",

note = "Proceeding of the first international symposium on Visual Formal Methods VFM'99 ; Conference date: 01-01-1999",

}

Fränzle, M, Lüth, K, Bosnacki, D (ed.), Mauw, S (ed.) & Willemse, T (ed.) 1999, Visual temporal logic as a rapid prototyping tool. in Proceeding of the first international symposium on Visual Formal Methods VFM'99 [Invited paper]. Dpt. of Mathematics and Computing Science, pp. 1-15, Proceeding of the first international symposium on Visual Formal Methods VFM'99, 01/01/1999.

Visual temporal logic as a rapid prototyping tool. / Fränzle, Martin; Lüth, Karsten; Bosnacki, D. (Editor) et al.
Proceeding of the first international symposium on Visual Formal Methods VFM'99 [Invited paper]. Dpt. of Mathematics and Computing Science, 1999. p. 1-15.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

TY - GEN

T1 - Visual temporal logic as a rapid prototyping tool

AU - Fränzle, Martin

AU - Lüth, Karsten

A2 - Bosnacki, D.

A2 - Mauw, S.

A2 - Willemse, T.

PY - 1999

Y1 - 1999

M3 - Article in proceedings

SP - 1

EP - 15

BT - Proceeding of the first international symposium on Visual Formal Methods VFM'99 [Invited paper]

PB - Dpt. of Mathematics and Computing Science

T2 - Proceeding of the first international symposium on Visual Formal Methods VFM'99

Y2 - 1 January 1999

ER -