Help
Help
図書

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)

Icons representing 図書

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania.

(NATO Security through Science Series. Series D, Information and Communication Security ; 1)

Call No. (NDL)
M17-09-557
Bibliographic ID of National Diet Library
000010040572
Material type
図書
Author
Institute e-Austria Timisoara.ほか
Publisher
IOS Press
Publication date
c2006.
Material Format
Paper
Capacity, size, etc.
vii, 235 p. : ill. ; 25 cm.
NDC
-
View All

Notes on use

Note (General)：

Papers.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
1586035703
9781586035709 (ISBN-13)
ISSN (series)
1574-5589
Title
Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania.
Series Title
NATO Security through Science Series. Series D, Information and Communication Security ; 1
Author Heading
Institute e-Austria Timisoara.
Clarke, Edmund.
Minea, Marius.
Ţiplea, Ferucio Laurenţiu.
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timaşoara, Romania)
Publication, Distribution, etc.
Amsterdam : IOS Press
Washington, DC : IOS Press
Publication Date
c2006.
Publication Date (W3CDTF)
2006
Extent
vii, 235 p. : ill. ; 25 cm.