Model Checking Logical Regulatory Networks?

AuthID
P-00K-358
4
Author(s)
Abou Jaoudé, W
·
Thieffry, D
·
1
Editor(s)
Lesage J.-J.Faure J.-M.Ribeiro Cury J.E.Lennartson B.
Document Type
Proceedings Paper
Year published
2014
Published
in Advances in the Astronautical Sciences, ISSN: 0065-3438
Volume: 12, Pages: 170-175
Conference
12Th Ifac/Ieee Workshop on Discrete Event Systems, Wodes 2104, Date: 14 May 2014 through 16 May 2014, Sponsors: Et al;IFAC Technical Committee on Computers for control;IFAC Technical Committee on Manufacturing plant control;Institute of Electrical and Electronics Engineers (IEEE);International Federation of Automatic Control (IFAC);Technical Committee on Discrete Event and Hybrid Systems
Indexing
Publication Identifiers
Scopus: 2-s2.0-84951853106
Source Identifiers
ISSN: 0065-3438
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.