Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Martiček, Štefan
6  Ergebnisse:
Personensuche X
?
1

Abstraction-Based Segmental Simulation of Chemical Reaction..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,
Helfrich, Martin ; Češka, Milan ; Křetínský, Jan. - p. 41-60 , 2022
Link: https://doi.org/10.1007/..
 
?
2

2LS: Memory Safety and Non-termination: (Competition Contri..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Malík, Viktor ; Martiček, Štefan ; Schrammel, Peter... - p. 417-421 , 2018
Link: https://doi.org/10.1007/..
 
?
3

Abstraction-Based Segmental Simulation of Chemical Reaction..:

Helfrich, Martin ; Češka, Milan ; Křetínský, Jan.
http://arxiv.org/abs/2206.06677.  , 2022
Link: http://arxiv.org/abs/220..
 
?
4

Artifact for CMSB22 paper "Abstraction-Based Segmental Simu..:

Helfrich, Martin ; Ceska, Milan ; Kretinsky, Jan.
info:eu-repo/grantAgreement/EC/H2020/787367/.  , 2022
Link: https://zenodo.org/recor..
 
?
5

2LS: memory safety and non-termination (competition contrib..:

Malik, Viktor ; Martiček, Štefan ; Schrammel, Peter...
http://sro.sussex.ac.uk/id/eprint/75981/3/10.1007%252F978-3-319-89963-3_24.pdf.  , 2018
Link: http://sro.sussex.ac.uk/..
 
?
6

2LS: memory safety and non-termination (competition contrib..:

Viktor Malik ; Štefan Marticek ; Peter Schrammel...
10779/uos.23457890.v1.  , 2018
Link: https://figshare.com/art..
 
1-6