Author:
Beneš Nikola,Brim Luboš,Demko Martin,Pastva Samuel,Šafránek David
Publisher
Springer International Publishing
Reference23 articles.
1. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2007)
2. Arellano, G., Argil, J., Azpeitia, E., Benítez, M., Carrillo, M., Góngora, P., Rosenblueth, D.A., Alvarez-Buylla, E.R.: “Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinform. 12(1), 1–15 (2011). http://dx.doi.org/10.1186/1471-2105-12-490
3. Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.: On parameter synthesis by parallel model checking. IEEE/ACM Trans. Computat. Biol. Bioinform. 9(3), 693–705 (2012)
4. Lecture Notes in Computer Science;G Batt,2007
5. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76, 119–135 (2011)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献