Other Publication Details

Mandatory Fields

Publication Subcategory

Other Items Published

Authors

Leen, G

Year

2000

Month

December

Article Title

Formal Verification of the TTCAN protocol

Researcher's Role

Status

Published

Peer Reviewed

0

Times Cited

()

Optional Fields

Search Keyword

Short Description

Abstract

Danish Technical University, Lynby, Copenhagen, Denmark. December 5th, 2000.

Publisher Location

Publisher

Editors

ISBN / ISSN

Edition

URL

Start Page

End Page

DOI Link

Grant Details

Funding Body

Grant Details