Experience with literate programming in the modelling and validation of systems

T.C. Ruys; E. Brinksma

doi:10.1007/BFb0054185

Experience with literate programming in the modelling and validation of systems

T.C. Ruys
, E. Brinksma

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

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998)
Editors	B. Steffen
Publisher	Springer
Pages	393-408
ISBN (Print)	3-540-64356-7
DOIs	https://doi.org/10.1007/BFb0054185
Publication status	Published - 1998

Publication series

Name	Lecture Notes in Computer Science
Volume	1384
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0054185

Cite this

Ruys, T. C., & Brinksma, E. (1998). Experience with literate programming in the modelling and validation of systems. In B. Steffen (Ed.), Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998) (pp. 393-408). (Lecture Notes in Computer Science; Vol. 1384). Springer. https://doi.org/10.1007/BFb0054185

Ruys, T.C. ; Brinksma, E. / Experience with literate programming in the modelling and validation of systems. Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998). editor / B. Steffen. Springer, 1998. pp. 393-408 (Lecture Notes in Computer Science).

@inproceedings{bd1e413292714f4ea2453c7f4bfc002b,

title = "Experience with literate programming in the modelling and validation of systems",

author = "T.C. Ruys and E. Brinksma",

year = "1998",

doi = "10.1007/BFb0054185",

language = "English",

isbn = "3-540-64356-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "393--408",

editor = "B. Steffen",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998)",

address = "Germany",

}

Ruys, TC & Brinksma, E 1998, Experience with literate programming in the modelling and validation of systems. in B Steffen (ed.), Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998). Lecture Notes in Computer Science, vol. 1384, Springer, pp. 393-408. https://doi.org/10.1007/BFb0054185

Experience with literate programming in the modelling and validation of systems. / Ruys, T.C.; Brinksma, E.
Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998). ed. / B. Steffen. Springer, 1998. p. 393-408 (Lecture Notes in Computer Science; Vol. 1384).

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

TY - GEN

T1 - Experience with literate programming in the modelling and validation of systems

AU - Ruys, T.C.

AU - Brinksma, E.

PY - 1998

Y1 - 1998

U2 - 10.1007/BFb0054185

DO - 10.1007/BFb0054185

M3 - Conference contribution

SN - 3-540-64356-7

T3 - Lecture Notes in Computer Science

SP - 393

EP - 408

BT - Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998)

A2 - Steffen, B.

PB - Springer

ER -

Ruys TC, Brinksma E. Experience with literate programming in the modelling and validation of systems. In Steffen B, editor, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 4th International Conference, TACAS'98; held as part of ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998). Springer. 1998. p. 393-408. (Lecture Notes in Computer Science). doi: 10.1007/BFb0054185