Paper Abstract and Keywords |
Presentation |
2017-01-27 09:00
Symbolic Representation based on Difference Logic of Time Petri Nets for Efficient Bounded Model Checking Nao Igawa, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki, Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) MSS2016-67 SS2016-46 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
(Not available yet) |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
/ / / / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 116, no. 425, MSS2016-67, pp. 59-64, Jan. 2017. |
Paper # |
MSS2016-67 |
Date of Issue |
2017-01-19 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
MSS2016-67 SS2016-46 |
|