Author Search Results

Showing 1 - 1 results of 1 for search 'LIN, Shang-Wei Lin' Skip to content

AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs | Search Tips |

Feedback
Your Account
Log Out
Login
Theme
- Bootstrap
- Aunilo
Language

Home
Search/Browse Options
- Search History
- Advanced Search
About

Advanced

Author
LIN, Shang-Wei Lin

Showing 1 - 1 results of 1 for search 'LIN, Shang-Wei Lin', query time: 0.02s Refine Results

Sort

1

Learning assumptions for compositional verification of timed systems

Learning assumptions for compositional verification of timed systems

by LIN, Shang-Wei Lin, LIU, Yang, SUN, Jun, SUN, Jun
Published 2014

Get full text
Get full text

text

Save to List

Saved in:

Search Tools: Get RSS Feed — Email this Search —

AUNILO: Libraries of ASEAN University Network

Libraries of ASEAN University Network (AUNILO) is a thematic network that provides a platform for academic resource sharing, information exchange, and networking among academic libraries within AUN member-universities.
Email: secretariat@aunilo.net
Website: http://aunilo.net/

Service provided by Universiti Utara Malaysia Library

Perpustakaan Sultanah Bahiyah, Universiti Utara Malaysia, 06010 UUM Sintok, Kedah, MALAYSIA.
Tel: 04-9283627 Fax : 04-9283613
email: uumlib@uum.edu.my

Loading...