1
2012.
Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata
Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata
Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo
Saznaj više