Result 1 to 15 of 15 total
TAPAAL 2.0: Integrated development environment for timed-arc Petri nets. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 492-497 (2012).
1
opaal: A lattice model checker. (English)
Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 487-493 (2011).
2
Visualization in simulation tools: requirements and a tool specification to support the teaching of dynamic biological processes (English)
J. Bioinformatics and Computational Biology 9, No. 4, 579-595 (2011).
3
Opaal: A lattice model checker (English)
NASA Formal Methods, 487-493 (2011).
4
TAPAAL: Editor, simulator and verifier of timed-arc Petri nets. (English)
Liu, Zhiming (ed.) et al., Automated technology for verification and analysis. 7th international symposium, ATVA 2009, Macao, China, October 14‒16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04760-2/pbk). Lecture Notes in Computer Science 5799, 84-89 (2009).
5
An efficient translation of timed-arc Petri nets to networks of timed automata. (English)
Breitman, Karin (ed.) et al., Formal methods and software engineering. 11th international conference on formal engineering methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10372-8/pbk). Lecture Notes in Computer Science 5885, 698-716 (2009).
6
An efficient translation of timed-arc Petri nets to networks of timed automata (English)
ICFEM, 698-716 (2009).
7
TAPAAL: editor, simulator and verifier of timed-arc Petri nets (English)
ATVA, 84-89 (2009).
8
Applying filter clusters to reduce search state space (English)
IFIP Int. Conf. Digital Forensics, 295-301 (2005).
9
Functional interpretation and the existence property. (English)
Math. Log. Q. 50, No. 6, 573-576 (2004).
10
Introduction. (English)
Hendricks, Vincent F. (ed.) et al., Knowledge contributors. Based on the conference on dimensions in epistemic logic, Roskilde, Denmark, May 2002. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1747-2/hbk). Synthese Library 322, 1-15 (2003).
11
Knowledge contributors. Based on the conference on dimensions in epistemic logic, Roskilde, Denmark, May 2002. (English)
Synthese Library 322. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1747-2/hbk). ix, 203~p. EUR~90.00; \$~99.00; \sterling~62.00 (2003).
12
Problem solving: the essence of player action in computer games (English)
DIGRA Conf. (2003).
13
Nano-scale structure in membranes in relation to enzyme action ‒ computer simulation vs. experiment. (English)
Comput. Phys. Commun. 147, No.1-2, 313-320 (2002).
14
An $O(\vert V\vert^*\vert E\vert)$ algorithm for finding immediate multiple-vertex dominators. (English)
Inf. Process. Lett. 59, No. 1, 9-11 (1996).
15
Result 1 to 15 of 15 total
Start
Contact
Print
General Help
