Faculti
Watch new ideas, research and insights.

Partial Orders for Efficient BMC of Concurrent Software

Dr Michael Tautschnig, Queen Mary, University of London Alglave J, Kroening D, Tautschnig M (2013) . Partial Orders for Efficient […]

Stay informed with Faculti.

Faculti offers authoritative insight and opinion on the latest research, discoveries and breakthroughs across the subject-spectrum.

Register for free to view pre-selected videos here

Sign-in here if you are already a Faculti member.

Subscribe or Upgrade here

Recommended for you

0