Publications

AuthID
P-00A-8XT

Author(s)

Tillmann, N

Vidal, RFAM

Document Type

Proceedings Paper

Year published

2005

Published

in Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France in Abstract State Machines

Pages: 329-344

Indexing

Handle^®

Publication Identifiers

DBLP: conf/asm/PaivaTFV05

Handle: https://hdl.handle.net/10216/95648

Export Publication Metadata

Marked List

Info

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

Useful Links