Publications

AuthID
P-008-SWV

Author(s)

Butler, M

Editor(s)

Grieskamp, W; Santen, T; Stoddart, B

Document Type

Article

Year published

2000

Published

in INTEGRATED FORMAL METHODS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 1945, Pages: 61-76 (16)

Conference

2Nd International Conference on Integrated Formal Methods (Ifm 2000), Date: NOV 01-03, 2000, Location: SCHLOSS DAGSTUHL, GERMANY

Indexing

Wos^®

Scopus^®

Publication Identifiers

Scopus: 2-s2.0-84894553420

Wos: WOS:000174115700004

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links