Jana Fabriková

	2009
2		Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma: BioDiVinE: A Framework for Parallel Analysis of Biological Models CoRR abs/0910.0928: (2009)
1		Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek: On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410(33-34): 3128-3148 (2009)

Coauthor Index

1	Jiri Barnat	[1] [2]
2	Lubos Brim	[1] [2]
3	Ivana Cerná (Ivana Cerna)	[1] [2]
4	Sven Drazan	[1] [2]
5	Jan Láník	[2]
6	Hongwu Ma	[2]
7	David Safránek	[1] [2]