An Abstract Framework for Deadlock Prevention in BIP / / Paul C. Attie [and others] --
2013
1
Abstract humour, humourous abstraction / / Robert Garnett ;
2010
1
Abstract in English -- / Orts-, Personen- und Organisationsverzeichnis --Orte --Personen --Organisationen und staatliche Einrichtungen --Anhang : Karten I bis VI
2018
1
Abstract Inamic Pairs / 164 --3.6
2013
1
An Abstract Interpretation of DPLL(T) / / Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening --Session 9:
2013
1
Abstract Interpretation of Recursive Queries / / Agostino Cortesi, Raju Halder --
2013
1
Abstract Interpretation over Non-lattice Abstract Domains / / Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard --
2013
1
An abstract lemma / 47 --2.3
2002
1
Abstract: lunar radiation and temperatures / / Edison Pettit and Seth B. Nicholson --
1960
1
Abstract Machine / / Aden L. Evens ;18.
2014
1
Abstract Machines for Argumentation / / Kurt Ranalter --
2012
1
Abstract Model Checking with SOFL Hierarchy / / Cong Tian, Shaoying Liu, Zhenhua Duan --
2013
1