Model checking the evolution of gene regulatory networks (English)
Free access
- New search for: Giacobbe, Mirco
- New search for: Guet, Călin C.
- New search for: Gupta, Ashutosh
- New search for: Henzinger, Thomas A.
- New search for: Paixão, Tiago
- New search for: Petrov, Tatjana
- New search for: Giacobbe, Mirco
- New search for: Guet, Călin C.
- New search for: Gupta, Ashutosh
- New search for: Henzinger, Thomas A.
- New search for: Paixão, Tiago
- New search for: Petrov, Tatjana
In:
Acta Informatica
;
54
, 8
;
765-787
;
2016
- Article (Journal) / Electronic Resource
-
Title:Model checking the evolution of gene regulatory networks
-
Contributors:Giacobbe, Mirco ( author ) / Guet, Călin C. ( author ) / Gupta, Ashutosh ( author ) / Henzinger, Thomas A. ( author ) / Paixão, Tiago ( author ) / Petrov, Tatjana ( author )
-
Published in:Acta Informatica ; 54, 8 ; 765-787
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2016-08-22
-
Size:23 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 54, Issue 8
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 727
-
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)Baier, Christel / Tinelli, Cesare et al. | 2017
- 729
-
Approximate counting in SMT and value estimation for probabilistic programsChistikov, Dmitry / Dimitrova, Rayna / Majumdar, Rupak et al. | 2017
- 765
-
Model checking the evolution of gene regulatory networksGiacobbe, Mirco / Guet, Călin C. / Gupta, Ashutosh / Henzinger, Thomas A. / Paixão, Tiago / Petrov, Tatjana et al. | 2016
- 789
-
Stateless model checking for TSO and PSOAbdulla, Parosh Aziz / Aronis, Stavros / Atig, Mohamed Faouzi / Jonsson, Bengt / Leonardsson, Carl / Sagonas, Konstantinos et al. | 2016