Information and Systems-Software Science(Date:1997/05/29)

Presentation
表紙

,  

[Date]1997/5/29
[Paper #]
目次

,  

[Date]1997/5/29
[Paper #]
Effects of Virtual System States on Verification of Responsive Protocols

Shin'ichi Nagano,  Yoshiaki Kakuda,  Tohru Kikuno,  

[Date]1997/5/29
[Paper #]SS97-1
A Note on Applications of Logical Attribute Model to an Actual Information Sharing System

Jun HISHITANI,  Mitsuhiro TAKAHASHI,  

[Date]1997/5/29
[Paper #]SS97-2
Generating Equivalent Transformation Rules on a String Domain

Kiyoshi Akama,  Yoshinori Shigeta,  Eiichi Miyamoto,  

[Date]1997/5/29
[Paper #]SS97-3
A Survey of Researches on TCP over ATM

Toshihiko Kato,  

[Date]1997/5/29
[Paper #]SS97-4
[OTHERS]

,  

[Date]1997/5/29
[Paper #]