Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems

dc.contributor.author	Leue, Stefan
dc.contributor.author	Wei, Wei
dc.date.accessioned	2022-02-10T09:20:36Z
dc.date.available	2022-02-10T09:20:36Z
dc.date.issued	2013
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/8901
dc.description	216-236 p. ; 1.136ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Langage de modélisation	en_US
dc.subject	Programmation linéaire	en_US
dc.subject	Vérification logicielle	en_US
dc.subject	Comptabilité analytique	en_US
dc.title	Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems	en_US
dc.type	Article	en_US