ISBN: | 3540434771 (softcover : alk. paper) |
---|---|
编目源: | DLC DLC OHX UKM C#P C$Q CVU |
语种代码: | eng |
会议名称: | International SPIN Workshop |
题名: | Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan BoSnaCki, Stefan Leue (eds.). |
出版发行项: | Berlin ; New York : Springer, c2002. |
载体形态: | x, 257 p. : ill. ; 24 cm. |
书目附注: | Includes bibliographical references and index. |