Old and new algorithms for minimal coverability sets

10.3233/FI-2014-1002

Saved in:

Bibliographic Details
Main Authors:	Valmari, A., Hansen, H.
Other Authors:	TEMASEK LABORATORIES
Format:	Article
Published:	2016
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/128911
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-128911
record_format	dspace
spelling	sg-nus-scholar.10635-1289112023-10-25T22:07:42Z Old and new algorithms for minimal coverability sets Valmari, A. Hansen, H. TEMASEK LABORATORIES 10.3233/FI-2014-1002 Fundamenta Informaticae 131 1 1-25 FUINE 2016-10-22T07:45:44Z 2016-10-22T07:45:44Z 2014 Article Valmari, A., Hansen, H. (2014). Old and new algorithms for minimal coverability sets. Fundamenta Informaticae 131 (1) : 1-25. ScholarBank@NUS Repository. https://doi.org/10.3233/FI-2014-1002 01692968 http://scholarbank.nus.edu.sg/handle/10635/128911 000333421900002 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.3233/FI-2014-1002
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Valmari, A. Hansen, H.
format	Article
author	Valmari, A. Hansen, H.
spellingShingle	Valmari, A. Hansen, H. Old and new algorithms for minimal coverability sets
author_sort	Valmari, A.
title	Old and new algorithms for minimal coverability sets
title_short	Old and new algorithms for minimal coverability sets
title_full	Old and new algorithms for minimal coverability sets
title_fullStr	Old and new algorithms for minimal coverability sets
title_full_unstemmed	Old and new algorithms for minimal coverability sets
title_sort	old and new algorithms for minimal coverability sets
publishDate	2016
url	http://scholarbank.nus.edu.sg/handle/10635/128911
_version_	1781790625814806528

Similar Items