Fleischhack Hans

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Hans Fleischhack

E-mail

Hans.Fleischhack@Informatik.Uni-Oldenburg.DE

List of Articles:

Virbitskaite I. Fleischhack H. Dedova A. Real arithmetic based verification of prioritized time Petri nets with parameters // Computer Science. — 2010 . — # 31. — P. 179-193